Saddek Bensalem
Christoph M. Kirsch
Edward A. Lee
Joseph Sifakis
ABSTRACT
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embedded-systems architectures and design processes consider "non-functional" properties such as time, energy, and reliability as an afterthought, when functional correctness has (hopefully) been achieved. As a result, embedded systems are often fragile in their real-time behaviour, and take longer to design and test than planned. Several techniques have been proposed to make real-time embedded systems more robust, and to ease the process of designing embedded systems:
Precision-timed and time-triggered architectures, to make time a first-class citizen of system design.
Deterministic architectures for repeatable timing behaviour.
Composability, which guarantees that the (non)-functional behaviour of components is unchanged on integration in a larger system.
The tutorial presents the state of the art and major approaches to time-predictability and composability, such as BIP, TTA, PRET, PTIDES, Giotto, and CompSOC.
- B. Akesson and K. Goossens Architectures and modeling of predictable memory controllers for improved system integration. In DATE, 2011.Google Scholar
- A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T. H. Nguyen, J. Sifakis. Rigorous Component-Based System Design Using the BIP Framework. In IEEE Software 28(3): 41--48 (2011). Google ScholarDigital Library
- K. Goossens and A. Hansson. The Aethereal network on chip after ten years: Goals, evolution, lessons, and future. In DAC, 2010. Google ScholarDigital Library
- A. Nelson, A. Molnos and K. Goossens. Composable power management with energy and power budgets per application. In SAMOS, 2011.Google Scholar
Index Terms
- Time-predictable and composable architectures for dependable embedded systems
Recommendations
Building timing predictable embedded systems
Regular PapersA large class of embedded systems is distinguished from general-purpose computing systems by the need to satisfy strict requirements on timing, often under constraints on available resources. Predictable system design is concerned with the challenge of ...
Issues for Making Linux Predictable
SAINT-W '02: Proceedings of the 2002 Symposium on Applications and the Internet (SAINT) WorkshopsThis paper describes some real-time aspects of embedded Linux. Linux has been popular to be used as an operating system for embedded systems because future appliances will become more complicated, and many embedded applications require network and file ...
Composable Dynamic Voltage and Frequency Scaling and Power Management for Dataflow Applications
DSD '10: Proceedings of the 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and ToolsComposability means that the behaviour of an application, including its timing, is not affected by the absence or presence of other applications. It is required to be able to design, test, and verify applications independently. In this paper we define ...
Comments