学习如何开发安全可靠的关键性嵌入式应用,如自动驾驶,飞控,医疗设备。

使用形式化方法的静态分析,您可以证明在所有可能的控制流和数据流下,代码都没有运行时错误。

下载白皮书,了解形式化方法的静态代码分析的用处

  • 质量: 查找bug,并证明不存在严重的运行时错误
  • 安全: 符合安全标准,如MISRA®, ISO 26262, IEC 61508, and DO-178
  • 防护: 检查代码是否符合CWE, CERT-C, and ISO/IEC 17961软件安全标准

获取来自于Nissan,Airbus,Delphi和NASA开发团队的7个最佳实践,让您的嵌入式软件安全可靠。