MISRA C Compliance Matrix
标签: Compliance Matrix MISRA
上传时间: 2013-12-15
上传用户:wendy15
清华大学教授发表的安全C语言编程规范MISRA C:1998应用心得,采用C编程的同志都可以看看,学以致用啊。
上传时间: 2014-01-04
上传用户:wweqas
Misra C 规范,一个著名的汽车软件开发规范,是不可多得的好东西
标签: Misra
上传时间: 2016-01-27
上传用户:xjz632
Misra-C:2004 Coding Standard The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the revised MISRA standard, Misra-C:2004 "Guidelines for the use of the C language in critical systems" was published in October 2004.
标签: developed certified Standard Misra-C
上传时间: 2014-01-24
上传用户:hn891122
嵌入式C 标准研究报告(一) ---MISRA C标准工程师笔记 C语言是开发嵌入式应用的主要工具,然而C语言并非是专门为嵌入式系统设计,相当多的嵌入式系统较一般计算机系统对软件安全性有更苛刻的要求。1998 年,MISRA指出,一些在C看来可以接受,却存在安全隐患的地方有127处之多。2004年,MISRA对C的限制增加到141条。 嵌入式系统应用工程师借用计算机专家创建的C语言,使嵌入式系统应用得以飞速发展,而MISRAC是嵌入式系统应用工程师对C语言嵌入式应用做 出的贡献。如今MISRA C已经被越来越多的企业接受,成为用于嵌入式系统的C语言标准,特别是对安全性要求极高的嵌入式系统,软件应符合MISRA标准。
上传时间: 2016-07-18
上传用户:zhouchang199
Testbed基于Misra-C:2004的静态检查功能详解。
上传时间: 2013-12-15
上传用户:ruan2570406
介绍了MISRA C中关于C编码规范要求,适合安全性要求较高行业嵌入式软件开发。
上传时间: 2017-03-09
上传用户:wweqas
misra c guide lines 98
上传时间: 2017-05-07
上传用户:BIBI
MISRA (The Motor Industry Software Reliability Association 汽车工业软件可靠性联会) 是位于英国的一个跨国汽车工业协会,其成员包括了大部分欧美汽车生产商。其核心使命是为汽车工业提供服务和协助,帮助厂方开发安全的、高可靠性的嵌入式软件。这个组织最出名的成果是所谓的MISRA C Coding Standard,这一标准中包括了127条C语言编码标准,通常认为,如果能够完全遵守这些标准,则你的C代码是易读、可靠、可移植和易于维护的。最近很多嵌入式开发者都以MISRA C来衡量自己的编码风格,比如著名的uC/OS-II就得意地宣称自己99%遵守MISRA标准。而《嵌入式开发杂志》也专门载文号召大家学习。编码规范通常是一个公司自定的“土政策”,居然有人去做标准,而且还得到广泛的认可,这不禁引起我强烈的兴趣。可惜这份标准的文本需要花钱去买,而且短短几十页,要价非常昂贵。MISRA在网上公布了一些文档,其中有关于MISRA C Coding Standard的Clarification报告,从中间你可以大致猜到MISRA标准本身是什么。
标签: Association Reliability Industry Software
上传时间: 2013-12-27
上传用户:wangzhen1990
嵌入式系统应用工程师借用计算机专家创建的C语言,使嵌入式系统应用得以飞速发展,而MISRAC是嵌入式系统应用工程师对C语言嵌入式应用做 出的贡献。如今MISRA C已经被越来越多的企业接受,成为用于嵌入式系统的C语言标准,特别是对安全性要求极高的嵌入式系统,软件应符合MISRA标准。 本文由清华嵌入式系统研究专家,邵贝贝教授领衔执笔,分六讲,跟读者一起学习MISRAC。 第一讲:“‘安全第一’的C语言编程规范”,简述MISRAC的概况。 第二讲:“跨越数据类型的重重陷阱”,介绍规范的数据定义和操作方式,重点在隐式数据类型转换中的问题。 第三讲:“指针、结构体、联合体的安全规范”,解析如何安全而高效地应用指针、结构体和联合体。 第四讲:“防范表达式的失控”,剖析MISRAC中关于表达式、函数声明和定义等的不良使用习惯,最大限度地减小各类潜在错误。 第五讲:“准确的程序流控制”,表述C语言中控制表达式和程序流控制的规范做法。 第六讲:“构建安全的编译环境”,讲解与编译器相关的规范编写方式,避免来自编译器的隐患。 希望大家喜欢。
上传时间: 2013-12-27
上传用户:franktu