Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 5:00 PM ET (12:00 - 21:00 UTC). We apologize for the inconvenience.
By Topic

Pcanel: a model driven component framework

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Cheng Xie ; Inst. of Comput. Syst., Zhejiang Univ., Hangzhou, China ; Wenzhi Chen ; Jiaoyin Shi

Modern embedded systems tend to be heterogeneous in the sense that components in a system have diverse interaction styles. Composition of subsystems with very different characteristic complicates embedded software development and challenges understandability, composability, and scalability of models. The paper describes a model driven component framework, Pcanel, to solve this problem. It proposes a hierarchical model structure and semantic framework that supports heterogeneous components. Pcanel drives component execution by models of computation, allowing the formal analysis, verification and validation of the embedded software. Models explicitly represent the designer's understanding of the system, and capture the requirements and the design of the application. The paper presents the principles and techniques of Pcanel in details. Examples in terms of real systems are given that illustrate how Pcanel addresses the heterogeneity nature and the assurance issues of embedded software composition.

Published in:

Systems, Man and Cybernetics, 2004 IEEE International Conference on  (Volume:6 )

Date of Conference:

10-13 Oct. 2004