Time-predictable and composable architectures for dependable embedded systems

  • Authors:
  • Saddek Bensalem;Kees Goossens;Christoph M. Kirsch;Roman Obermaisser;Edward A. Lee;Joseph Sifakis

  • Affiliations:
  • University Joseph Fourier, Grenoble, France;Eindhoven University of Technology, Eindhoven, Netherlands;University of Salzburg, Salzburg, Austria;University of Siegen, Siegen, Germany;University of California, Berkeley, Berkeley, CA, USA;CNRS - Verimag, Grenoble, France

  • Venue:
  • EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

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.