在MATLAB和金宝appSimulink中支持MISRA C金宝app
为了帮助评估在电子控制单元中使用的软件代码的质量，汽车工业软件可靠性协会(MISRA)介绍了在汽车和飞机上运行的软件中使用C代码的指导方针。在1998年，MIRA有限公司发布了MISRA C (MISRA C:1998)，以提供符合安全完整性等级(SIL) 2或更高的标准化、结构化语言的受限子集。
从那时起，标准有几个更新，包括MISRA C：2004，在自动代码生成的上下文中，MISRA C ++：2008对于C ++以及MISRA C：2012标准。
有关MISRA C的更多信息，请参见www.misra.org.uk.
金宝app®，stateflow.®和嵌入式编码器®广泛用于为Misra C生成嵌入式软件®．波尔盖斯®代码验证产品用于分析手写或生成的屠杀下载188bet金宝搏符合性的代码。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和StateFlow模型的嵌金宝app入式编码器。
MISRA C分析包包括:
- 包含规则摘要和详细示例的文档
- 金宝appSimulink模型
了解有关验证MISRA符合PolySpace产品的更多信息：下载188bet金宝搏
开发MI下载188bet金宝搏SRA C应用的主要产品：
让我们知道我们可以如何帮助你。
联系我们进行自定义评估，并根据您的需求获得定价。
