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

A. Prantl, J. Knoop:
"An integrated source-to-source approach to WCET analysis";
Poster: Junior Scientist Conference 2008, Wien; 16.11.2008 - 18.11.2008; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; S. 45 - 46.

Kurzfassung englisch:
The safety of our everyday life depends increasingly on the
correct functioning of embedded software systems that control more
and more appliances. Many of these software systems are
time-critical. Hence, computations performed need not only to be
correct, but must also return results in a timely
fashion. Worst-case execution time (WCET) analysis is
concerned with computing tight upper bounds for the execution time
of a system in order to provide formal guarantees for the proper
timing behaviour of a system. In this paper, we introduce TuBound
- a conceptually new approach, introducing
source-to-source flow analysis, optimization and transformation of
analysis information in the workflow of WCET analysis.

Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.