文档

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遵从性检查您的模型或子系统:

    1. 打开模型顾问。

    2. 导航到按照任务>MISRA C:2012建模指南

    3. 运行文件夹中的检查。

    有关使用Model Advisor的更多信息,请参见使用模型顾问检查您的模型(金宝app模型)。

当使用MISRA C:2012编码指南来评估生成的C代码的质量时,您需要按照MISRA C:2012关键系统C语言使用指南为被评估项目准备合规性声明的文件。为了帮助您开发这个遵从性声明,MathWorks®针对使用嵌入式编码器生成的C代码,评估MISRA C:2012指南。评估结果公布如下:

  • 合规汇总表,识别用于获取每个规则和指令遵从性的方法。

  • 偏差,以识别不符合的规则或指示。

有关更多信息,请参见制定MISRA C:2012合规声明


1MISRA和MISRA C是MIRA有限公司的注册商标,代表MISRA财团持有。