帮助评估软件代码质量的用于电子控制单元、电机行业软件可靠性协会(MISRA)介绍指南使用C代码在软件运行在汽车和飞机。米拉ltd .)在1998年出版MISRA - C (MISRA - C: 1998)提供一个标准化的有限子集,结构化语言,满足高安全完整性等级(SIL) 2。
从那时起,已经有几个标准的更新,包括MISRA - C: 2004年,MISRA交流自动增益控制标准的上下文中自动代码生成,MISRA c++: 2008 c++, MISRA - C: 2012标准。
关于MISRA - C的更多信息,请参阅www.misra.org.uk
万博1manbetx®,Stateflow®,嵌入式编码器®被广泛用于生成MISRA - C嵌入式软件吗®。Polyspace®代码验证产品是用于分析手写或为MISs manbetx 845RA - C合规所生成的代码。Polyspace错误发现者™支持检测MIS万博1manbetxRA-C: 2004年,MISRA-C + +: 2008年,MISRA - C: 2012年,MISRA交流自动增益控制编码规则。
您可以配置一个模型或子系统,这样代码生成器是最有可能产生MISRA - C: 2012兼容的代码使用代码生成的顾问。生成的代码可以使用Polyspace MISRA合规检查,结果可以追溯到模型。你可以在模式级别注释提供理由任何偏差。
了解更多关于符合MISRA生成代码:
协助用户在他们的努力进一步实现MISRA - C合规MathWorks提供MISRA支万博1manbetx持表使用嵌入式编码模型和Stateflow模型。万博1manbetx
MISRA - C分析包包括:
- 与规则的总结文档和详细的例子
- 万博1manbetx仿真软件模型
了解更多关于验证MISRA遵守Polyspace产品:s manbetx 845
主要产品s manbetx 845为开发MISRA - C应用程序:
让我们知道我们如何能帮助你。
联系我们定制的评估,并获得定价基于您的需要。
