MISRA_C_2004中文版.pdf

MISRA协会在1994年发布了它的“DevelopmentGuidelinesforVehicleBasedSoftware”[9]， 描述了软件开发过程中所有应该使用的方法集。特别地，在使用中因为考虑安全集成度而做 出的语言、编译器和语言特性的选择，成为首要考虑的事情。MISRA指南[9]中的节3.2.4.3（b） 和表3描述了这些。推荐的方法之一是使用已经应用于航空、能源和国防工业中的标准化的 语言子集。本文档定义了这样一个合适的C语言子集。