学习如何开发关键的嵌入式应用,比如自动驾驶,飞行控制和医疗设备是安全的,安全的。
使用静态分析和正式的方法,你可以证明没有运行时错误在所有可能的控制流和数据流。
读这本白皮书,看看用正式的方法帮助静态代码分析:
- 质量:找到错误和正式证明缺乏关键的运行时错误
- 安全:MISRA等符合安全标准®、ISO 26262、IEC 61508, - 178
- 安全:检查代码CWE、CERT-C和ISO / IEC 17961软件安全标准
得到最高7最佳实践从开发团队在日产,空客,Delphi, NASA嵌入式软件让你安全。
