电动汽车行业的现状与挑战
未来 10 年,中国电动汽车行业将以每年 24%的速度增长,如何确保汽车的质量、安全和性能对行业的发展至关重要。凭借丰富的国内外经验和全方位的解决方案,鉴释与电动汽车供应链领域的领先公司开展合作,积累前沿经验,与行业共同成长,同时推出一系列工具来提高行业软件的安全性、质量、合规性和性能。
软件质量
鉴释提供最佳实践使您的安全关键代码符合 MISRA、AUTOSAR 、ISO 26262及 ASIL-D 的标准和规范。
鉴释静态代码分析工具爱科识可与一些最流行的 CI/CD 平台,如 Gitlab 和 Jenkins集成,将安全扫描自动化,有助于以最小的努力加快代码合规性流程。
软件安全
鉴释提供白盒安全测试,保证产品开发符合 CERT 和、OWASP等安全代码规范,并且提供专门针对联网自动驾驶汽车的黑盒渗透测试。
鉴释拥有一批系统软件专家,专注于研究经过形式化验证的安全操作系统 seL4 ,鉴释同时是seL4基金会的战略合作伙伴,与基金会主席和技术专家保持紧密的技术合作。我们可以帮助您将基于 seL4 微内核操作系统的产品完全调整到其最高安全级别。
我们可以为最终开发软件提供形式化验证服务,以确保将漏洞和缺陷降至最低。
软件性能
我们专门提供商业级的分析和覆盖工具以及服务,以确保基于 seL4 的产品被优化到其最大性能。
我们的系统分析工具将帮助分析您的系统逻辑并准确识别需要改进的地方。
使用代码覆盖率分析,您可以检查测试中覆盖了多少代码,或进行基准测试并创建额外的测试用例以增加覆盖率并确定代码覆盖率的定量度量。