Misra C在万博1manbetxMatlab和Simulink中支持万博1manbetx
为帮助评估电子控制单元中使用的软件代码的质量，电机行业软件可靠性协会（MISRA）引入了在汽车和飞机中运行的软件中使用C代码的指导。1998年，Mira Ltd.公布了Misra C（Misra C：1998），提供了一个限制的标准化，结构化语言的子集，符合安全完整性水平（SIL）2及更高版本。
从那时起，标准有几个更新，包括MISRA C：2004，在自动代码生成的上下文中，MISRA C ++：2008对于C ++以及MISRA C：2012标准。
有关Misra C的更多信息，请参阅www.misra.org.uk.
万博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合规性，结果可以追溯到模型。您可以在模型级别注释，以提供任何偏差的理由。
了解有关生成符合Misra的代码的更多信息：
MathWorks提供了帮助用户进一步努力实现MASRA C合规性的努力Misra支万博1manbetx持表使用嵌入式编码器与Simulink和状态流模型。万博1manbetx
Misra C分析包包括：
- 与规则摘要和详细示例的文档
- 万博1manbetxSimulink模型
了解有关验证MISRA符合PolySpace产品的更多信息：s manbetx 845
开发MIs manbetx 845SRA C应用的主要产品：
如您需要帮忙，请联系我们。
联系我们进行定制评估，并根据您的需求获得定价。
