为帮助评估电子控制单元中使用的软件代码的质量，电机行业软件可靠性协会（MISRA）引入了在汽车和飞机中运行的软件中使用C代码的指导。1998年，Misra Ltd.公布了Misra C（Misra C：1998），提供了一个受限制的标准化，结构化语言的子集，符合安全完整性水平（SIL）2及更高版本。

从那时起，标准有几个更新，包括MISRA C：2004，在自动代码生成的上下文中，MISRA C ++：2008对于C ++以及MISRA C：2012标准。

屠杀信息

万博1manbetx^®，stateflow.^®和嵌入式编码器^®广泛用于为Misra C生成嵌入式软件^®。波尔盖斯^®代码验证产品用于分析手写或生成的屠杀s manbetx 845符合性的代码。PolySpace Bug Finder™支万博1manbetx持Misra-C：2004，Misra-C ++：2008，Misra C：2012和Misra AC AGC编码规则的检测。

您可以配置模型或子系统，以便代码生成器最有可能使用代码生成顾问生成MISRA C：2012兼容代码。可以使用PolySpace检查生成的代码以查找Misra合规性，结果可以追溯到模型。您可以在模型级别注释，以提供任何偏差的理由。