MISRA C-Compliant Code Generating And Code Checking Tools

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.