行业标准

MISRA - C

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

从那以后,这个标准有了几次更新,包括MISRA C:2004,自动代码生成环境下的MISRA AC AGC标准,MISRA c++:2008 for c++,以及MISRA C:2012标准。

有关MISRA C的更多信息,请参见https://www.misra.org.uk/

金宝app®,Stateflow®,以及嵌入式编码器®被广泛用于为MISRA C®。Polyspace®代码验证产品用于分析手写或生成的符合下载188bet金宝搏MISRA C的代码。Polyspace Bug Finder™支金宝app持MISRA-C: 2004、MISRA- c++:2008、MISRA C:2012和MISRA AC AGC编码规则的检测。

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


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

为了进一步帮助用户努力实现MISRA C遵从性,MathWorks维护了一个可行性分析包,以及在使用Simulink和Stateflow模型的嵌入式编码器时生成MISRA C代码的建议。金宝app

MISRA C分析包包括:

  • 带有规则摘要和详细示例的文档
  • 金宝app仿真软件模型

MISR下载188bet金宝搏A C应用开发的关键产品: