Towards composable timing for real-time programs

Peter Puschner, Raimund Kirner, Robert G. Pettit

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)
15 Downloads (Pure)


Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteeing the timing properties. In this paper, we will discuss deficiencies in current real-time embedded hardware and software structures with respect to achieving our goal of composable and compositional timing behavior. To address these deficiencies, we will then discuss programming methods, code generation techniques, and ideas about hardware and software architectures that should help us in achieving a truly timing-composable and compositional engineering process for real-time software systems.
Original languageEnglish
Title of host publicationSoftware Technologies for Future Dependable Distributed Systems
Place of PublicationLOS ALAMITOS
Number of pages5
ISBN (Electronic)9780769535722
ISBN (Print)978-1-4244-3565-4
Publication statusPublished - 2009
Event1st International Workshop on Software Technologies for Future Dependable Distributed Systems - Tokyo
Duration: 17 Mar 2009 → …


Conference1st International Workshop on Software Technologies for Future Dependable Distributed Systems
Period17/03/09 → …


  • composability
  • predictability
  • real-time systems
  • worst-case execution time


Dive into the research topics of 'Towards composable timing for real-time programs'. Together they form a unique fingerprint.

Cite this