A solution based on Model-integrated Computing for Embedded OS graphical configuration

At present, the reusability of developing Embedded OS is still relatively poor. This makes the generation of the configuration file complicated and difficult to guarantee the system´s requirement. This paper presents a method of Model Interpretation development based on Model-integrated Computing. Its advantage is that developers have stronger ability of abstracting analysis, analyzing and designing more complicated systems. Furthermore, it can design model interpreter conveniently, which can transform the model into basic code, configuration file and document verification information. This method supports graphical operations, which can configure the operating system easily and intuitively. It supports model-checking and design-time detection for early validation of the system, thus can improve the reusability and efficiency of development. Finally, the example of Micro-kernel OS is introduced to explain the advantage of method.