14/2009 : Towards Composable Timing for Real-Time Software

RR Number

14/2009

Conference

Proc. 1st International Workshop on Software Technologies for Future Dependable Distributed Systems

Author(s)

Peter Puschner, Robert G. Pettit

Abstract

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.

Bibtex

@inproceedings{Puschner:STFSSD2009,
  author =       "Peter Puschner and Raimund Kirner and Robert G. Pettit",
  title =        "Towards Composable Timing for Real-Time Software",
  booktitle =      "Proc. 1st International Workshop on Software Technologies for Future Dependable Distributed Systems",
  year =         "2009",
  month =        "Mar."
}

Download

Get paper_puschner_isorc-stfssd2009.pdf - Adobe PDF-format, (94.94 KB; posted at January 26 2009; )