Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis

Download Now
Provided by: Vienna University of Economics and Business
Topic: Hardware
Format: PDF
In this paper, the authors present their new Worst-Case Execution Time (WCET) analysis tool for Java processors, supporting both Implicit Path EnumeraTion (IPET) and model checking based execution time estimation. Even though model checking is significantly more expensive than IPET, it simplifies accurate modeling of pipelines and caches. Experimental results using the UPPAAL model checker indicate that model checking is fast enough for typical tasks in embedded applications, though large loop bounds may lead to long analysis times.
Download Now

Find By Topic