Automatic Derivation of Loop Bounds for Worst Case Execution Time Analysis

01.10.2009 - 31.03.2015
Auftragsforschungsprojekt
In many industries including robotics, consumer electronics, avionics, automotive, and manufacturing, the system components must interact according to a stringent real-time schedule. It is therefore crucial for system engineers to have a good understanding of the software execution time. The goal of the proposed dissertation is to leverage methods from termination analysis for WCET analysis i.e. for automatic derivation of loop bounds. The main challenge in the proposed work systems from the fact that state-of-the-art termination analysis methods employ quite sophisticated non-constructive mathematical methods, and do in the most cases not allow to loop bound directly. As argued above, a practically useful tool for the derivation of loop bounds will be valuable for embedded systems, but also for response time for evaluation in a large number of software products ranging from desktop software all the way to device drivers. Somewhat surprisingly, we will also argue below that our new method does not put additional burden on Microsoft's TERMINATOR, but will in fact improve the performance of terminator.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Auftrag/Kooperation

  • MICROSOFT RESEARCH LIMITED

Forschungsschwerpunkte

  • Computational Science and Engineering

Schlagwörter

DeutschEnglisch
System EngineeringSystem Engineering
loop boundsloop bounds
formal methodsformal methods
computer aided verificationcomputer aided verification