行业标准

MISRA - C

为了帮助评估电子控制单元中使用的软件代码的质量,汽车工业软件可靠性协会(MISRA)推出了在汽车和飞机上运行的软件中使用C代码的指南。1998年,MISRA有限公司发布了MISRA C (MISRA C:1998),以提供符合安全完整性级别(SIL) 2及更高的标准化、结构化语言的受限子集。

此后,该标准又进行了几次更新,包括MISRA C:2004、自动代码生成背景下的MISRA AC AGC标准、用于c++的MISRA c++:2008以及MISRA C:2012标准。

MISRA - C的信息

动态仿真模块®, Stateflow®,和嵌入式Coder®广泛用于生成MISRA C®。Polyspace®代码验证产品用于分析手写的或生成的符2022世界杯八强谁会赢?合MISRA C的代码。Polyspace Bug Finder™支持MISRA-C: 2004、MISRA-C++:2008、MISRA C:2012和MISRA AC AGC编码规则的检测。

您可以配置一个模型或子系统,以便代码生成器使用代码生成顾问最有可能产生MISRA C: 2012兼容的代码。可以使用Polyspace检查生成的代码是否符合MISRA,结果可以追溯到模型。您可以在模型级别进行注释,为任何偏差提供理由。


了解更多关于生成符合MISRA的代码的信息:

为了帮助用户进一步努力实现MISRA C的符合性,MathWorks维护了一个可行性分析包和建议,用于在使用Simulink和Stateflow模型的Embedded Coder时生成MISRA C代码。

MISRA C分析包包括:

  • 有规则总结和详细示例的文档
  • 仿真软件模型

MISR2022世界杯八强谁会赢?A C应用开发的主要产品:

Baidu
map