---MISRA C 标准工程师笔记.PDF

2007 中国嵌入式计算平台论坛研究报告 嵌入式C 标准研究报告 （一） MISRA C标准工程师笔记 VER: 1.01 PAGE: 40 编辑：肖燕、张墨 关键词：MISRA C 可靠性 安全 编程规范 嵌入式软件国际标准研究 组建专家组 中国单片机公共实验室 2007 年 5 月 2007 中国嵌入式计算平台论坛研究报告 前 言 C 语言是开发嵌入式应用的主要工具，然而 C 语言并非是专门为嵌入式系统 设计，相当多的嵌入式系统较一般计算机系统而言对软件安全性（可靠性）有更 苛刻的要求，所以因此会带来更多的安全隐患。 丰田汽车已经表示要对 2005 年 10、2003 年 8 月至 2004 年 11 月生产的约 16 万辆混合动力汽车“普锐斯”进行无偿修理。据称，主要是发动机的 ECU 程 序出了问题，行驶中发动机会突然停止。此外宝马公司 2003 年 7 月也因发动机 ECU 的软件问题而提出召回缺陷汽车。1999 年 7 月22 日，通用汽车公司（General Motors ）也因为其软件设计上的一个问题，被迫召回350 万辆已经出厂的汽车。 同样，在电梯和医疗器械产品上也出现过类似的严重问题。 由此可以看出软件质量问题已经越来越深刻的影响到了产品的质量，甚至有 些时候是致命的，在航空航天等领域更是如此。然而，很少有程序员知道什么样 的程序是安全的程序。很多程序只是表面上可以干活，还存在着大量的隐患。当 然，这其中也有 C 语言自身的原因。因为 C 语言是一门‘入门容易，得道难’ 的语言，其灵活的编程方式和语法规则对于一个新手来说很可能会成为机关重重 的陷阱。同时，C 语言的定义还并不完全，即使是国际通用的 C 语言标准，也 还存在着很多未完全定义的地方。要求所有的嵌入式程序员都成为 C 语言专家， 避开所有可能带来危险的编程方式，是不现实的。最好的方法是有一 个针对安 全性的 C 语言编程规范，告诉程序员该如何做。MISRA C 因此应运而生。 1994 年，在英国成立了一个叫做汽车工业软件可靠性联合会（The Motor Industry Software Reliability Association，简称MISRA ）的组织。它是致力于协助 汽车厂商开发安全可靠的软件的跨国协会，其成员包括：AB 汽车电子、罗孚汽 车、宾利 汽车、福特汽车、捷豹汽车、路虎公司、Lotus 公司、MIRA 公司、Ricardo 公司、TRW 汽车电子、利兹大学和福特 VISTEON 汽车系统公司。 经过了四年的研究和准备，MISRA 于 1998 年发布了一个针对汽车工业软件 安全性的C 语言编程规范——《汽车专用软件的C 语言编程指南》 (Guidelines for the Use of the C Language in Vehicle Based Software) ，共有 127 条规则，称为 MISRA C:1998 。目前MISRA C:2004 版已有 141 条规则，21 个类别，每一条规 则对应一条编程准则。 如今 MISRA C 已经被越来越多的企业接受，成为用于嵌入式系统的C 语言 标准，特别是对安全性要求极高的嵌入式系统，软件应符合 MISRA 标准。在未 来，MISRA C 也趋向于成为国际性的嵌入式 C 语言开发标准规范。未来全部的 嵌入式产品可能必须符合 MISRA C 标准。所以要提高产品的竞争力，避免国际 2007 中国嵌入式计算平台论坛研究报告 标准化推广使中国嵌入式系统开发企业处于被动，中国计算机学会嵌入式系统专 业委员会建议联合中国汽车工程学会、中国系统工程学会和 ISO 国际标准化组 织相关专家组在中国开展嵌入式系统安全规范开发研究工作并组织中国专家工