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, Capri, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03F)", (2003), 1 - 8.

English abstract:
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.