Component-based and Model-Driven Embedded Operating System

CHEN Wen-zhi,XIE Cheng,SHI Jiao-ying
DOI: https://doi.org/10.3785/j.issn.1008-973x.2005.09.016
2005-01-01
Abstract:For implementation of complex embedded system models on operating system, a new embedded operating system kernel based on model-driven architecture called Pcanel was proposed. When the kernel provided a component-based runtime environment, finely granular component was defined as basic entity, . and component frameworks were taken as the architecture for controlling component computation. Abstract computation models in design phase were mapped on the component frameworks to solve functional problems of embedded systems,and the component frameworks controlled the executions of components to solve non-functional problems. In the transition system,the control flow of compenent was separated from computation flow by introducing a formal transition system of state and action in Pcanel, and the composition of frameworks was implemented in a formal recursive way. Experimental results indicate that Pcanel can be flexibly applied in complex embedded systems. With resriction on the component model,the composition and verification of components can be achieved more easily.
What problem does this paper attempt to address?