你可以学习如何发展关键的嵌入式应用，如自动驾驶，飞行控制和医疗设备，是安全和可靠。

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

下载这篇白皮书，看看静态代码分析与形式方法的帮助:

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

从获得日产，空中客车公司，德尔福，以及NASA开发团队前7的最佳实践，使您的嵌入式软件的安全。