[Zurück]

P. Puschner, R. Kirner, R. Pettit:
"Towards Composable Timing for Real-Time Software";
Vortrag: First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, Japan; 17.03.2009 - 18.03.2009; in: "2009 Software Technologies for Future Dependable Distributed Systems", IEEE, (2009), ISBN: 978-0-7695-3572-2; S. 1 - 5.

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.