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.

Research of User Defined Event Based on CAR Component

A hierarchical modeling method for AUTOSAR software components

SmartSAR: A Component-Based Hierarchy Software Platform for Automotive Electronics

Research on Thread Model in Callback Based on CAR Component Technology

Multi-component Agent Based Collaborative Design System

Using CAR Smart Pointer to Realize Callback Mechanism

Inheritance Mechanism of CAR Component and Its Application in Graphics Components

CAR Component Oriented Programming and its Self-description Property

Component-based and Model-Driven Embedded Operating System

Research of Event Mechanism Based Embedded Graphical Programming Model

Implementation of Context Based on AOP in CAR Component System

Research on heterogeneous component platform for pervasive computing

Pcanel: a model driven component framework

Embedded Component Model Based on Intertask Communication

Components'Self-description Package Method and Operation Method

Towards Component-Based Control System Engineering with IEC61499

Research of Component Device Driver Model Based on Elastos

Research of Interaction Between CAR Component and V8

Research of Software Component for Open Embedded Automotive Application

Design and Implementation of ElAura Component Runtime Platform

The Assembly And Maintenance Of The Component-Based Communication Protocols For Embedded System