Please use this identifier to cite or link to this item: https://doi.org/10.1109/RTSS.2006.26
Title: Interface-based rate analysis of embedded systems
Authors: Chakraborty, S. 
Liu, Y.
Stoimenov, N.
Thiele, L.
Wandeler, E.
Issue Date: 2006
Source: Chakraborty, S., Liu, Y., Stoimenov, N., Thiele, L., Wandeler, E. (2006). Interface-based rate analysis of embedded systems. Proceedings - Real-Time Systems Symposium : 25-34. ScholarBank@NUS Repository. https://doi.org/10.1109/RTSS.2006.26
Abstract: Interface-based design is now considered to be one of the keys to tackling the increasing complexity of modern embedded systems. The central idea is that different components comprising such systems can be developed independently and a system designer can connect them together only if their interfaces match, without knowing the details of their internals. We use the concept of rate interfaces for compositional (correct-by-construction) design of embedded systems whose components communicate through data streams. Using the associated rate interface algebra, two components can be connected together if the output rate of one component is "compatible" with the input rate of the other component. We formalize this notion of compatibility and show that such an algebra is non-trivial because it has to accurately model the burstiness in the arrival rates of such data streams and the variability in their processing requirements. We discuss how rate interfaces simplify compositional design and at the same time help in functional and performance verification which would be difficult to address otherwise. Finally, we illustrate these advantages through a realistic case study involving a component-based design of a multiprocessor architecture running a picture-in-picture application. © 2006 IEEE.
Source Title: Proceedings - Real-Time Systems Symposium
URI: http://scholarbank.nus.edu.sg/handle/10635/40428
ISBN: 0769527612
ISSN: 10528725
DOI: 10.1109/RTSS.2006.26
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

19
checked on Dec 6, 2017

WEB OF SCIENCETM
Citations

6
checked on Nov 21, 2017

Page view(s)

53
checked on Dec 17, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.