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 systems 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.
embedded OS model-integrated computing model interpretation
Zhen Zhang Songpo Li Qiuhua Zheng Li Zhou Guohua Wu
School of Computer Science Hangzhou Dianzi University Hangzhou, China
国际会议
太原
英文
214-218
2010-10-22（万方平台首次上网日期，不代表论文的发表时间）