文章基本信息

标题：Cutting-Edge Timing Analysis Techniques
本地全文：下载
作者：Jakob Zwirchmayr
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2010
卷号：7
页码：303-305
DOI：10.4230/LIPIcs.ICLP.2010.303
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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