Cutting-Edge Timing Analysis Techniques

Author Jakob Zwirchmayr

Thumbnail PDF


  • Filesize: 90 kB
  • 3 pages

Document Identifiers

Author Details

Jakob Zwirchmayr

Cite AsGet BibTex

Jakob Zwirchmayr. Cutting-Edge Timing Analysis Techniques. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 303-305, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


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,


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail