汽车工业软件可靠性协会®[1])已经建立了“在关键系统中使用C语言指南”(MISRA C®).
有关MISRA C的信息,请参见www.misra.org.uk
.
在1998年,MIRA有限公司发布了MISRA C (MISRA C:1998),以提供符合安全完整性等级(SIL) 2或更高的标准化、结构化语言的受限子集。2004年发布了一个基于反馈的重大更新(MISRA C:2004),随后在2007年发布了一个称为技术勘误表(TC1)的小更新。
2007年,MIRA Ltd.发布了MISRA AC AGC标准,《MISRA AC AGC: MISRA- c应用指南:2004在自动代码生成的背景下》。MISRA AC AGC没有改变MISRA C:2004规则,而是修改了依从性建议。
2013年,MIRA有限公司发布了MISRA C:2012标准,“C语言在关键系统中的使用指南”。MISRA C:2012提供了基于用户反馈的改进,包括关于自动代码生成的指导。
嵌入式编码器®和仿真软万博1manbetx件®提供最小化违反MISRA C规则的可能性的功能。
要配置模型或子系统,使代码生成器最有可能生成符合MISRA C:2012的代码,请使用代码生成顾问。有关更多信息,请参见使用代码生成顾问为代码生成目标配置模型.
的模型的顾问(万博1manbetxSimulink)还检查您开发的模型或子系统,以增加生成MISRA C:2012兼容代码的可能性。要检查您的模型或子系统:
打开Model Advisor。
导航到按照任务>MISRA C:2012建模指南.
运行文件夹中的检查。
有关使用Model Advisor的更多信息,请参见运行模型检查(万博1manbetx模型)。
有关使用嵌入式编码器的信息®软件在MISRA C指南,见技术解决方案1-1IFP0W在MathWorks®的网站。
[1]MISRA和MISRA C是代表MISRA财团持有的MIRA有限公司的注册商标。