为了帮助评估电子控制单元中使用的软件代码质量，运动行业软件可靠性协会（MISRA）介绍了在汽车和飞机中运行的软件中使用C代码的准则。1998年，Misra Ltd.出版了Misra C（Misra C：1998），提供了一个限制的标准化，结构化语言的子集，该语言符合安全完整性水平（SIL）2及更高。
从那时起，该标准已有多个更新，包括Misra C：2004，自动代码生成的Misra AC AGC标准，Misra C ++：2008 for C ++以及Misra C：2012标准。
万博1manbetx®，状态流®和嵌入式编码器®广泛用于生成Misra C的嵌入式软件®。Polyspace®代码验证产品用于分析Misra C合s manbetx 845规性的手写或生成代码。PolySpace Bug Finder™支万博1manbetx持Misra-C：2004，Misra-C ++：2008，Misra C：2012和Misra AC AG AGC编码规则的检测。
您可以配置模型或子系统，以便使用代码生成顾问最有可能生成MISRA C：2012兼容代码。可以使用polyspace检查生成的代码是否合规，结果可以追溯到模型。您可以在模型级别注释以提供任何偏差的理由。
了解有关生成符合Misra的代码的更多信息：
帮助用户进一步achieve MISRA C compliance, MathWorks maintains a feasibility analysis package and recommendations for generating MISRA C code when using Embedded Coder with Simulink and Stateflow models.
Misra C分析包包括：
- 带有规则摘要和详细示例的文档
- 万博1manbetxSimulink模型
了解有关验证Misra遵守多素空间产品的更多信息：s manbetx 845
开发Mis manbetx 845sra C应用的关键产品：
联系销售
开始有关航空航天和防御的更多信息
您还可以从以下列表中选择一个网站：
美洲
- AméricaLatina（Español）
- 加拿大（英语）
- 美国（英语）