[Zurück]

J. Zwirchmayr:
"Cutting-edge Timing Analysis Techniques";
Vortrag: 26th International Conference on Logic Programming - Doctoral Consortium (ICLP-DC 2010), Edinburgh, Scotland, United Kingdom; 21.07.2010; in: "Technical Communications of the 26th International Conference on Logic Programming", M. Hermenegildo, T. Schraub (Hrg.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; S. 303 - 305.

Abstract. This text gives an overview about my current research in timing analysis
at the Vienna University of Technology. After a short introduction to the topic follows
the description of an approach relying on CLP, the implicit path enumeration technique
(IPET). This technique is also used in a tool developed at the institute of Computer
Languages (TuBound). Current timing analysis tools suffer from a few flaws worth further
investigation in order to achieve better results than current state-of-the-art timing analysis
tools.

verification, timing analysis, hard real-time systems, static analysis, worst-case execution time, loop-invariants, nested loop, symbolic computation, satisfiability modulo theories