MISRA - C的指导方针
汽车工业软件可靠性协会®[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有限公司发布了MISRA AC AGC标准,“MISRA AC AGC: MISRA- c:2004在自动代码生成环境中的应用指南”。MISRA AC AGC没有改变MISRA C:2004规则,而是修改了遵守建议。
2013年,MIRA Ltd.发布了MISRA C:2012标准,“关键系统中C语言的使用指南”。MISRA C:2012提供了基于用户反馈的改进,包括自动代码生成的指导。
嵌入式编码器®和仿真软金宝app件®提供功能来最小化MISRA C规则违反的可能性。功能包括:
代码生成顾问,它帮助您配置模型或子系统,以便代码生成器最有可能生成符合MISRA C:2012的代码。有关更多信息,请参见使用代码生成顾问为代码生成目标配置模型.
模型的顾问(金宝appSimulink)检查,您可以在开发您的模型或子系统时使用它来增加生成MISRA C:2012兼容代码的可能性。要执行MISRA C:2012遵从性检查您的模型或子系统:
打开模型顾问。
导航到按照任务>MISRA C:2012建模指南.
运行文件夹中的检查。
有关使用Model Advisor的更多信息,请参见使用模型顾问检查您的模型(金宝app模型)。
当使用MISRA C:2012编码指南来评估生成的C代码的质量时,您需要按照MISRA C:2012关键系统C语言使用指南为被评估项目准备合规性声明的文件。为了帮助您开发这个遵从性声明,MathWorks®针对使用嵌入式编码器生成的C代码,评估MISRA C:2012指南。评估结果公布如下:
有关更多信息,请参见制定MISRA C:2012合规声明.
[1]MISRA和MISRA C是MIRA有限公司的注册商标,代表MISRA财团持有。