为了帮助评估电子控制单元中使用的软件代码的质量，汽车工业软件可靠性协会(MISRA)推出了在汽车和飞机上运行的软件中使用C代码的指南。1998年，MIRA有限公司发布了MISRA C (MISRA C:1998)，以提供标准化的结构化语言的有限子集，满足安全完整性级别(SIL) 2及更高的要求。
从那时起，该标准有了几次更新，包括MISRA C:2004，自动代码生成上下文中的MISRA AC AGC标准，用于c++的MISRA c++:2008，以及MISRA C:2012标准。
有关MISRA C的更多信息，请参见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提供了MISRA支金宝app持表使用嵌入式编码器与Simulink和状态流模型。金宝app
MISRA C分析包包括:
- 带有规则摘要和详细示例的文档
- 金宝app仿真软件模型
了解更多有关验证Polyspace产品符合MISRA的信息:下载188bet金宝搏
用于开发下载188bet金宝搏MISRA C应用程序的主要产品:
让我们知道我们能如何帮助你。
联系我们进行定制评估，并根据您的需求获得定价。
您也可以从以下列表中选择一个网站: