【作者】 黄凯；

【导师】 吴朝晖； 赵民德；

【作者基本信息】 浙江大学 ， 计算机软件与理论， 2008， 硕士

【摘要】 在汽车电子等实时控制领域,随着控制软件越来越庞大和复杂,对控制软件的安全性、可靠性以及上市周期的要求也越来越高。自动代码生成技术能够大大缩短开发周期,提高软件质量,对开发高质量的软件系统具有非常重要的意义。MISRA C标准是MISRA(The Motor Industry Software Reliability Association,汽车工业软件可靠性协会)发布的针对汽车电子领域的安全代码标准,是开发汽车电子领域安全软件的权威标准。SmartOSEK IDE是浙江大学嵌入式系统工程实验室开发的基于模型驱动的集成开发环境。本文主要研究开发了SmartOSEK IDE符合MISRA C标准的自动代码生成工具,以及符合MISRA C标准的代码检查工具,包括预处理器和C编译器前端,对自动生成的应用程序代码进行检查,使得SmartOSEK IDE能够开发支持MISRA C标准的高可靠软件系统。本文的主要工作总结为以下几个方面:1.开发符合MISRA C标准的自动代码生成工具,支持针对SmartOSEK OS的完整应用程序代码的生成。2.自动代码生成工具能够生成符合MISRA C标准的、优化的、高可读的代码。3.开发符合MISRA C标准的代码检查工具,主要开发了符合MISRA C标准的编译器前端,提供从词法分析到语法分析以及语义分析的整个过程,并在其基础之上增加了对MISRA C规则的检查。代码检查工具能够对自动代码生成器生成的代码和SmartOSEK OS代码一起进行检查,确保整个系统符合MISRA C标准。更多还原

【Abstract】 With the increasing complexity of embedded software in real-time control field such as automotive electronics, the requirements for safety, reliability, and time to market are becoming more and more stringent. Code generation, with its capability of shortening development time, improving software quality, is very important for developing high-quality software. MISRA C standard, released by MISRA (the Motor Industry Software Reliability Association), is an authoritative standard for developing safe software for automotive electronic field.SmartOSEK IDE is a MDD (Model-Driven Development) based IDE for automotive electronics developed by ESE (Embedded System Engineering) Lab of Zhejiang University. This thesis proposes a MISRA C-compliant code generator and a MISRA C-compliant code checking tool, which make SmartOSEK IDE finally generate MISRA C-compliant application software.The main contributions of this paper are listed as follows:1. Developed a MISRA C-compliant code generator, which support generating full application code for SmartOSEK OS.2. The code generator can generate MISRA C-compliant, optimized, and high-readable code.3. Developed a MISRA C-compliant code checking tool, which mainly includes a MISRA C-compliant C compiler front-end, supports MISRA C rule checking from preprocessing to lexical analysis, syntax analysis and semantic analysis.The code checking tool can check the application code generated by the code generator with the SmartOSEK OS together, to ensure that the entire application system is MISRA C-compliant.更多还原