摘要
为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本单位,以构件框架作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型,由计算模型解决系统在功能方面的问题.构件框架按照触发器条件控制构件的执行,解决系统在非功能方面的问题.Pcanel采用一个规范的状态和行为的转换系统,将控制流与构件的执行相分离,并且在规范的递归形式下实现框架的组合.研究结果表明,Pcanel能够灵活地应用于高度复杂的嵌入式系统,通过构件模型的约束条件,构件得以更容易组合和验证.
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.
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2005年第9期1348-1352,共5页
Journal of Zhejiang University：Engineering Science
基金
国家"863"重大软件项目(2002AA1Z2050)浙江省重点科研项目(2004C21059).
关键词
构件
框架
模型驱动
嵌入式操作系统
component
framework
model-driven
embedded operating system
