By Topic

Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL

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

2 Author(s)
Gilles, O. ; Inst. TELCOM, TELECOM ParisTech, Paris, France ; Hugues, J.

Model driven engineering provides facilities to tackle complexity in real-time systems, from early requirements capture to validation & verification down to code generation. We note that models are built from a system perspective, and resources are allocated to meet communication, energy or scheduling constraints. Yet, it is seldom optimal. In this paper, we explore transformations applied at model-level that preserve schedulability of the system, yet reduce the overall resource consumption. We use AADL as input formalism. By automating this process, we show how to transition from a system view to an implementation view, closer to actual hardware constraints.

Published in:

Embedded and Real-Time Computing Systems and Applications, 2009. RTCSA '09. 15th IEEE International Conference on

Date of Conference:

24-26 Aug. 2009