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

通过使用正式方法进行静态分析，您可以证明在所有可能的控制流和数据流下没有运行时错误。

下载本白皮书以查看具有正式方法的静态代码分析如何有助于：

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

从日产、空客、德尔福和NASA的开发团队那里获得7个最佳实践，使您的嵌入式软件更加安全可靠。