Title: Tooling Aspects
Working Group 2 Leader:
Prof. Martin SCHOEBERL
Telephone: , Fax:
e-mail: martin <at> jopdesign.com
Description: Code-level timing analysis can only be industrially successful if it is sufficiently automated, by tools fitting into industrial design flows. This Working Group will perform research supporting these tooling aspects, including associated tools like compilers. Furthermore, it will develop support for the evaluation of tools and methods. The Working Group will extend WCET-aware compilation to multi-core systems. The approach to this challenge will be to tightly couple the compiler with the operating system and the underlying multi-core system model. In this way, the compiler can run timing analyses that will bound timing interference, and can apply optimisations that reduce the effect of this interference.
Current static timing analysis tools rely on manually-provided constraints on possible program flows. This fact is a hindrance to the industrial uptake. This Working Group will improve the level of automation by sharpening current approaches to automatic program flow analysis. Flow analyses will be combined with techniques from other areas such as model-checking, type-inference and loop-invariant generation. The Working Group will also investigate how to reuse pre-computed analysis results - e.g., from the analysis of libraries.
The timing analysis tools in use today mostly lack common interfaces, particularly for flow-fact specification. This is a hindrance for their integration into tool chains. To remedy this, a common flow-fact description language will be designed. A formal semantics will be provided in order to avoid ambiguity.
Different timing analysis tools need to be evaluated and compared. This WG will periodically pursue an open timing analysis "tool challenge", where CLTA tools will be applied to a common set of realistic, industrially relevant timing analysis problems.
Good, realistic benchmark suites are essential for the evaluation of techniques and tools. Existing benchmark suites for CLTA do not cover multi-core software. The Action will provide a freely available benchmark suite for timing analysis, featuring complex multi-core benchmarks, with the goal of establishing it as the standard benchmark suite for timing analysis.
This Working Group will:
- develop methods for WCET-aware compilation for multi-core systems;
- improve automation by investigating advanced flow analyses;
- unify program flow constraint languages;
- run an international tool challenge, and provide and maintain a publicly available benchmark suite.