By Topic

Generation of schedulable real-time component implementations

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
$33 $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)
Ansgar Radermacher ; CEA LIST, Laboratory of model driven engineering for embedded systems, Point Courrier 94, Gif-sur-Yvette, F-91191 France ; Chokri Mraidha ; Sara Tucci-Piergiovanni ; Sébastien Gérard

In model based approaches for real-time systems (RTS) development, an iterative process that consists in the early stage verification of real-time constraints fulfillment according to a given design is usually performed in order to detect as early as possible unfeasible designs. Schedulability analysis allows this early verification of timing constraints according to so called Schedulability Analysis Model (SAM). This paper proposes a configurable framework for implementation synthesis of component oriented specification that is able to preserve the SAM timing properties that are validated at an early stage of the RTS design.

Published in:

Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on

Date of Conference:

13-16 Sept. 2010