When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.03471.2
URN: urn:nbn:de:0030-drops-23
Go to the corresponding Portal

Thiele, Lothar ; Wilhelm, Reinhard

Design for Time-Predictability

03471.SWM.Paper!.pdf (0.06 MB)


A large part of safety-critical embedded systems has to satisfy hard real-time
constraints. These need sound methods and tools to derive reliable run-time guarantees.
The guaranteed run times should not only be reliable, but also precise.
The achievable precision highly depends on characteristics of the target architecture
and the implementation methods and system layers of the software. Trends in
hardware and software design run contrary to predictability. This article describes
threats to time-predictability of systems and proposes design principles that support
time predictability. The ultimate goal is to design performant systems with
sharp upper and lower bounds on execution times.

BibTeX - Entry

  author =	{Thiele, Lothar and Wilhelm, Reinhard},
  title =	{{Design for Time-Predictability}},
  booktitle =	{Perspectives Workshop: Design of Systems with Predictable Behaviour},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2004},
  volume =	{3471},
  editor =	{Lothar Thiele and Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-23},
  doi =		{10.4230/DagSemProc.03471.2},
  annote =	{Keywords: real-time systems , guarantees , predictability , embedded systems , performance}

Keywords: real-time systems , guarantees , predictability , embedded systems , performance
Collection: 03471 - Design of Systems with Predictable Behaviour
Follow-Up Publication: Design for timing predictability : article; eds.: Thiele, Lothar; Wilhelm, Reinhard. - Boston : Kluwer, 2004. - (in: Real-time systems : 28. 2004, 2/3, S. 157-177)
Issue Date: 2004
Date of publication: 04.08.2004

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI