skip to main content
10.1145/2038642.2038697acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
tutorial

Time-predictable and composable architectures for dependable embedded systems

Published: 09 October 2011 Publication History

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.

References

[1]
B. Akesson and K. Goossens Architectures and modeling of predictable memory controllers for improved system integration. In DATE, 2011.
[2]
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).
[3]
K. Goossens and A. Hansson. The Aethereal network on chip after ten years: Goals, evolution, lessons, and future. In DAC, 2010.
[4]
A. Nelson, A. Molnos and K. Goossens. Composable power management with energy and power budgets per application. In SAMOS, 2011.

Cited By

View all
  • (2019)Adaptive Time-Triggered Multi-Core ArchitectureDesigns10.3390/designs30100073:1(7)Online publication date: 22-Jan-2019

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '11: Proceedings of the ninth ACM international conference on Embedded software
October 2011
366 pages
ISBN:9781450307147
DOI:10.1145/2038642

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. composability
  2. design
  3. determinism
  4. methodology
  5. predictability
  6. real-time
  7. system on chip

Qualifiers

  • Tutorial

Conference

ESWeek '11
ESWeek '11: Seventh Embedded Systems Week
October 9 - 14, 2011
Taipei, Taiwan

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Adaptive Time-Triggered Multi-Core ArchitectureDesigns10.3390/designs30100073:1(7)Online publication date: 22-Jan-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media