By Topic

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models

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

4 Author(s)
Cadoret, F. ; Inst. Telecom, TELECOM ParisTech, Paris, France ; Borde, E. ; Gardoll, S. ; Pautet, L.

Safety critical embedded systems must be verified and optimized. Their production process, which includes both automatic code generation and middleware implementation, depends on the the target execution platform and must be adapted accordingly. In such a context, Model Driven Architecture provides several approaches to transform user models into programming code but these solutions lack of flexibility to address simultaneously the three issues of verification, optimization and adaptation. To overcome this limitation, we propose a method to structure the production process with design patterns for model transformations. Our approach allows to adapt the workflow of rule-based refinements according to the user input models, the targeted execution platform, and the analysis performed on intermediate transformed models.

Published in:

Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on

Date of Conference:

18-20 July 2012