了解如何开发安全可靠的关键嵌入式应用程序(如自动驾驶、飞行控制和医疗设备)。
使用带有形式化方法的静态分析,您可以证明在所有可能的控制流和数据流下不存在运行时错误。
阅读本白皮书,了解使用形式化方法进行静态代码分析的帮助:
- 质量:找到bug并正式证明不存在严重的运行时错误
- 安全:符合MISRA等安全标准®、iso26262、iec61508及DO-178
- 安全:检查代码是否符合CWE、CERT-C和ISO/IEC 17961软件安全标准
从日产、空客、德尔福和NASA的开发团队那里获得7个最佳实践,使您的嵌入式软件安全可靠。