LIPIcs.ICLP.2010.303.pdf
- Filesize: 90 kB
- 3 pages
Document
Cutting-Edge Timing Analysis Techniques
Author
-
Part of:
Volume:
Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2010-06-25
Cite As Get 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.
Subject Classification
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)
0PDF Downloads