Talks and Poster Presentations (with Proceedings-Entry):
R. Kirner, P. Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation";
Talk: Deutschsprachige WCET-Tagung,
2000-10-20; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)",
Embedded computer systems commonly interact with the environment. There may be some real-time constraints imposed on this interaction. To guarantee such constraints the knowledge about the worst case execution time (WCET) of the system components is mandatory. In the last years several concepts have been developed to obtain the WCET statically by code analysis or dynamically by measurements. In this paper we describe a method for static WCET analysis. This method is based on analysis with implicit path enumeration by the use of linear programming. This is a quite efficient approach with respect to the analysis time. We present a graph based formalism to analyze programs. This formalism handles in a smart way the different execution times of conditional instructions whether the branch is taken or not. This approach enables the calculation of tight WCET result with small effort.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.