行业标准
MISRA - C
为了帮助评估电子控制单元软件代码的质量，汽车行业软件可靠性协会(MISRA)引入了在汽车和飞机上运行的软件中使用C代码的指导方针。1998年，MISRA有限公司发布了MISRA C (MISRA C:1998)，提供了符合安全完整性级别(SIL) 2及更高级别的标准化结构化语言的受限子集。
从那时起，该标准有了几次更新，包括MISRA C:2004，自动代码生成上下文中的MISRA AC AGC标准，MISRA c++:2008 for c++，以及MISRA C:2012标准。
金宝app®, Stateflow®，以及嵌入式编码器®被广泛用于生成MISRA C®．Polyspace®代码验证产品用于分析手写或生成的代码下载188bet金宝搏，以符合MISRA C。Polyspace Bug Finder™支金宝app持MISRA-C: 2004, MISRA-C++:2008, MISRA C:2012，和MISRA AC AGC编码规则的检测。
您可以配置一个模型或子系统，以便代码生成器最有可能使用代码生成顾问(code Generation Advisor)生成符合MISRA C: 2012的代码。生成的代码可以使用Polyspace检查MISRA符合性，结果可以追溯到模型。您可以在模型级别上注释，为任何偏差提供理由。
了解关于生成遵从MISRA的代码的更多信息:
为了帮助用户进一步努力实现MISRA C遵从性，MathWorks在使用具有Simulink和StateFlow模型时使用嵌入式编码器时生成MISRA C代码的可行性分析包和建议。金宝app
MISRA C分析包包括:
- 带有规则、摘要和详细示例的文档
- 金宝app仿真软件模型
了解关于验证Polyspace产品的MISRA符合性的更多信息:下载188bet金宝搏
开发MI下载188bet金宝搏SRA C应用的关键产品:
有问题吗?
联系行业专家
