行业标准

MISRA C

为了帮助评估在电子控制单元的软件代码的质量,汽车工业软件可靠性协会(MISRA)使用的软件C代码在汽车和飞机行走出台指导方针。在1998年,MISRA Ltd。出版MISRA C(MISRA C:1998),以提供满足安全完整性等级(SIL)2和更高的一个标准化的,结构化的语言的受限子集。

自那时以来,已经有一些更新的标准,包括MISRA C:2004年,在自动代码生成的背景下,MISRA AC AGC标准,MISRA C ++:2008 C ++,和MISRA C:2012标准。

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

金宝app®,Stateflow的®和嵌入式编码器®被广泛地用于产生用于MISRA C嵌入式软件®。Polyspace®代码验证产品被用于分析手写或生成的代下载188bet金宝搏码MISRA C顺应性。Polyspace Bug的搜索™支持MIS金宝appRA-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分析软件包包括:

  • 有规则的摘要和详细实例文档
  • 金宝appSimulink模型

开发MI下载188bet金宝搏SRA C应用主要产品: