The Code Generation Of Embedded Operating System Kernal Model And Optimized Rules

With the appearance of Model Driven Architecture(MDA), the efficiency, quality and maintainability of Software Development have been improved greatly. But by now. there are no mature application with MDA in the develop of embedded operating system kernel.The embedded operating system has the module related with hardware, so we can divided the kernel into two abstract level which named hardware-related and hardware-irrelevant. We add the MDA in the development of hardware-irrelevant level, because MDA is mostly used to build Platform Independent Model(PIM), and do not describe the behaviors of dynamical models and operates. And because the model development tool based on MDA has their own framework of codes in code-generating, so we cannot directly make use of existing tools to generate codes of embedded kernel, and we design rules of auto code-generating of embedded kernel in our text. In the development of hardware-related level, there are some operations related to hardware, the auto code-generating has great difficulty with MDA, so we write the drivers which linked to hardware with hands in our text. The rule of AUTOSAR improves the reusability of application with the idea of layer, the application of upper-layer can be reused, and we only modify the lower-layer which based on the specific hardware. In our text, we fouces on disciption of automotive electroic control kernel based on AUTOSAR with two contents. First, propose the global rules of code-generating of layer of hardware-irrelevant of embedded operating system kernel module based on MDA, and generate the auto codes from model of kernel schedule supported to C. Second, accomplish the driver of connection between port of hardware and DIO which relate to the function of layer of hardware-related. So, I divide the contents of the text into the following three parts.(1)Design the rule of transfer the element of UML to C, then auto generate the codes from the model of static kernel to C codes, generate the interface of inserting the dynamic codes.(2)Select the Action Specification Language to define the behavior and operation of model action precise and unambiguous, and establish the grammar rules of ASL language, design the mapping rules from ASL syntax elements to C syntax elements, convert the description of kernel functions ASL codes to the C codes with same function.(3)Write the code of driver between PORT and DIO based on rules of AUTOSAR.In the end of the text, we give an example of kernel schedule module based on the rules of AUTOSAR, to explain the scope and performance of transferring to C codes. And conduct the functional tests of the driver between PORT and DIO based on the required function of external devices.