Worst-Case Execution Time (WCET) analysis finds safe upper bounds for the execution time of code fragments. Reliable WCET estimates are essential in the development of safety-critical hard real-time systems, where failures to meet deadlines can have catastrophic consequences.
This project targets WCET analysis of parallel systems. Compared to WCET analysis of sequential processors, research in WCET analysis for parallel systems is almost non-existent. In the light of the current hardware revolution, where multicore processors rapidly are becoming standard, this is a glaring omission. In a few years also hard real-time applications will run on multicores, and then current WCET analysis methods and tools will become obsolete. The goal of the project is to find suitable models and methods for WCET analysis of parallel systems, mainly multicore and MPSoCs. The emphasis is on basic models taking parallelism into account, mainly for flow analysis and calculation. We aim to produce seminal results of the same dignity as the original works on timing schemas and IPET for sequential programs.
|First Name||Last Name||Title|
|Jan||Gustafsson||Associate Professor,Senior Lecturer|
|Andreas||Gustavsson||Postdoctoral research fellow|
Timing Analysis of Parallel Software Using Abstract Execution (Jan 2014) Andreas Gustavsson, Jan Gustafsson, Björn Lisper 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)
Practical experiences of applying source-level WCET flow analysis to industrial code (Feb 2013) Björn Lisper, Andreas Ermedahl, Dietmar Schreiner , Peter Gliwa , Jens Knoop International Journal on Software Tools for Technology Transfer
Toward Static Timing Analysis of Parallel Software (Jul 2012) Andreas Gustavsson, Jan Gustafsson, Björn Lisper 12th International Workshop on Worst-Case Execution-Time Analysis