[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

R. Kirner, P. Puschner:
"Supporting Control-Flow-Dependent Execution Times on WCET Calculation";
Vortrag: Deutschsprachige WCET-Tagung, Paderborn, Germany; 20.10.2000; in: "Proceedings of the WCET2000 (Deutschsprachige WCET-Tagung)", (2000), S. #.



Kurzfassung englisch:
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.


Elektronische Version der Publikation:
http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=254&viewmode=published&year=2000


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.