Institute of Computer Languages
Compilers and Languages Group
über
| Datum: | Mittwoch, 9. Juni 2010 |
|---|---|
| Zeit: | 16:00 s.t. |
| Ort: | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
The purpose of Worst-Case Execution Time (WCET) analysis is to compute a safe upper bound to the execution time of a sequential program executing uninterrupted on some given hardware. Such bounds are important when verifying the timing requirements on hard real-time systems. WCET analysis has been an active research topic for the last 20 years, and today there exists a large body of theory, methods, and algorithms. Both academic and commercial tools have emerged during the last decade, and the technique is becoming established in industrial use.
Traditional WCET analysis computes a single number. For programs whose execution time varies strongly with the inputs, a single upper bound may provide very large overestimations in most situations since it has to take the program executions for all possible input values into account. It may then be advantageous to have a parametric WCET analysis, which computes the WCET bound as a symbolic formula in the unknown inputs rather than as a single number. When the formula is instantiated for the specific inputs at hand, the resulting number is likely to provide a much tighter bound for the actual WCET. Thus, it is highly interesting to develop good methods and tools for parametric WCET analysis.
In this talk we will first give a short primer to WCET analysis. We then give an account for the past, present, and planned future research at Mälardalen University regarding parametric WCET analysis.
Björn Lisper has been full professor in Computer Engineering at
Mälardalen University since 1999, where he leads the Programming
Languages group. For the last ten years, he has focussed his research
mostly on WCET analysis. He is the coordinator of the EU FP7 project
ALL-TIMES, and he is responsible for the Timing Analysis activity in
the FP7 NoE ArtistDesign. He received his PhD from the Royal Institute
of Technology in Stockholm.
(http://www.idt.mdh.se/~blr/)
Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.