Talks and Poster Presentations (with Proceedings-Entry):
J. Gustafsson, B. Lisper, R. Kirner, P. Puschner:
"Input-Dependency Analysis for Hard Real-Time Software";
Talk: IEEE International Workshop on Object-Oriented Real-Time Dependable Systems,
- 2003-10-03; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)",
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid respeclively eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies the input-data dependencies in the code and thus forms the basis for the strategies we provide for hard real-time code development.
Online library catalogue of the TU Vienna:
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.