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

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

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

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

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

了解更多

30天免费试用

试用 MATLAB、Simulink 和更多其他产品。

快速入门