找回密码
 注册
搜索
查看: 1219|回复: 4

[资料] 自己收集的 资料《C语言 MISRAC规范》 1RD

[复制链接]
发表于 2007-4-30 12:01:17 | 显示全部楼层 |阅读模式
该资料个人认为对嵌入式编程是个绝对好的学习文档,即使编程几年经验的同学都是值得一看的。 补充了很多《write clean code》里面没有强制说明的细节!!!
 楼主| 发表于 2007-4-30 12:04:57 | 显示全部楼层
该文档对C 语言的编程细节做了详细规定和限制,对移植性和正确运行有很大帮助。 推荐大家看看。

(个人售1RD也是为了有能力购买其他同学的资料)
点评回复

使用道具 举报

 楼主| 发表于 2007-5-6 13:08:42 | 显示全部楼层

忘记发附件 不好意思 补充一下

忘记发附件 不好意思 补充一下
点评回复

使用道具 举报

 楼主| 发表于 2007-5-6 13:11:47 | 显示全部楼层

忘记发附件 不好意思 补充一下

忘记发附件 不好意思 补充一下
【文件名】:0756@52RD_C语言 MISRAC规范.rar
【格 式】:rar
【大 小】:2422K
【简 介】:
【目 录】:


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

×
点评回复

使用道具 举报

 楼主| 发表于 2007-9-15 16:37:55 | 显示全部楼层
MISRAC规范   介绍:

  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条规则,称为MISRAC:1998。

  C语言并不乏国际标准。国际标准化组织(International Organization of Standardization,简称ISO)的“标准C语言”经历了从C90、C96到C99的变动。但是,嵌入式程序员很难将ISO标准当作编写安全代码的规范。一是因为标准C语言并不是针对代码安全的,也并不是专门为嵌入式应用设计的;二是因为“标准C语言”太庞大了,很难操作。MISRAC:1998规范的产生恰恰弥补了这方面的空白。

  随着很多汽车厂商开始接受MISRAC编程规范,MISRAC:1998也成为汽车工业中最为著名的有关安全性的C语言规范。2004年,MISRA出版了该规范的新版本——MISRAC:2004。在新版本中,还将面向的对象由汽车工业扩大到所有的高安全性要求(Critical)系统。在MISRAC:2004中,共有强制规则121条,推荐规则20条,并删除了15条旧规则。任何符合MISRAC:2004编程规范的代码都应该严格的遵循121条强制规则的要求,并应该在条件允许的情况下尽可能符合20条推荐规则。

  最初,MISRAC:1998编程规范的建立是为了增强汽车工业软件的安全性。可能造成汽车事故的原因有很多,如图1所示,设计和制造时埋下的隐患约占总数的15%,其中也包括软件的设计和制造。MISRAC:1998就是为了减小这部分隐患而制定的。

  MISRAC编程规范的推出迎合了很多汽车厂商的需要,因为一旦厂商在程序设计上出现了问题,用来补救的费用将相当可观。1999年7月22日,通用汽车公司(General Motors)就曾经因为其软件设计上的一个问题,被迫召回350万辆已经出厂的汽车,损失之大可想而知。

  MISRAC规范不仅在汽车工业开始普及,也同时影响到了嵌入式开发的其他方向。嵌入式实时操作系统μC/OSII的2.52版本虽然已经于2000年通过了美国航空管理局(FAA)的安全认证,但2003年作者就根据MISRAC:1998规范又对源码做了相应的修改,如将

  if ((pevent->OSEventTbl[y] &= ~bitx) == 0) {
    /*… */
  }

的写法,改写成

  pevent->OSEventTbl[y] &= ~bitx;
  if (pevent->OSEventTbl[y] == 0) {
  /*… */
  }

发布了2.62的新版本,并宣称其源代码99%符合MISRAC:1998规范。
点评回复

使用道具 举报

高级模式
B Color Image Link Quote Code Smilies

本版积分规则

Archiver|手机版|小黑屋|52RD我爱研发网 ( 沪ICP备2022007804号-2 )

GMT+8, 2024-12-25 01:31 , Processed in 0.049446 second(s), 17 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表