了解如何开发安全可靠的关键嵌入式应用程序，如自动驾驶、飞行控制和医疗设备。

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

阅读这篇白皮书，了解静态代码分析与形式化方法的帮助:

  • 质量:查找错误并正式证明没有关键的运行时错误
  • 安全:符合MISRA等安全标准®、ISO 26262、iec61508和DO-178
  • 安全:检查代码符合CWE、CERT-C和ISO/IEC 17961软件安全标准

从日产、空客、德尔福和美国宇航局的开发团队获取7个最佳实践，使您的嵌入式软件安全可靠。

了解更多

30天免费试用

尝试MATLAB, Si万博1manbetxmulink等。

开始