Cutting-Edge Timing Analysis Techniques

Author Jakob Zwirchmayr



PDF
Thumbnail PDF

File

LIPIcs.ICLP.2010.303.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)
https://doi.org/10.4230/LIPIcs.ICLP.2010.303

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,

Metrics

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

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail