By Topic

Semantics-Preserving Design of Embedded Control Software from Synchronous 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)
Mangeruca Leonardo ; A. Sangiovanni-Vincentelli is with the University of California, Berkeley, CA 94720. Email: alberto@eecs.berkeley.edu . ; Baleani Massimo ; Ferrari Alberto ; Sangiovanni-Vincentelli Alberto

The design of embedded controllers is experiencing a growth in complexity as embedded systems increase their functionality, while they become ubiquitous in electronic appliances, cars, airplanes, etc. As requirements become more challenging, mathematical models gain importance for mastering complexity. Among the different computational models proposed, synchronous models have proved to be the most widely used for control dominated applications. While synchronous models simplify the way of dealing with concurrency, by decoupling functional and timing aspects, their software implementation on multi-tasking and multi-processor platforms is far from straightforward, because of the asynchronous nature of most industrial software platforms. Known solutions in the literature either restrict the solution space or focus on special cases. We present a method for preserving the synchronous semantics through bufferbased inter-task communication mechanisms, grounded on an abstraction of the target platform. This allows us to deal with any task set and, most importantly, being independent of the implementation, to explore the design space effectively.

Published in:

Software Engineering, IEEE Transactions on  (Volume:PP ,  Issue: 99 )