Talks and Poster Presentations (with Proceedings-Entry):
J. Zwirchmayr:
"Cutting-edge Timing Analysis Techniques";
Talk: 26th International Conference on Logic Programming - Doctoral Consortium (ICLP-DC 2010),
Edinburgh, Scotland, United Kingdom;
2010-07-21; in: "Technical Communications of the 26th International Conference on Logic Programming",
M. Hermenegildo, T. Schraub (ed.);
Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
7 / Dagstuhl, Germany
(2010),
ISBN: 978-3-939897-17-0;
303
- 305.
English abstract:
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.
Keywords:
verification, timing analysis, hard real-time systems, static analysis, worst-case execution time, loop-invariants, nested loop, symbolic computation, satisfiability modulo theories
Created from the Publication Database of the Vienna University of Technology.