Adaptable and Precise Worst Case Execution Time Estimation Tool

Vladimir-Alexandru Paun (1) , Bruno Monsuez (1)

1 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes

Real-time systems are everywhere. When they are integrated into safety-critical systems, the verification of their properties becomes a crucial part. Besides the growth in complexity of the embedded systems, platforms are getting more and more heterogeneous. Being able to validate their non-functional properties is a complex and resource consuming task. One of the main reasons is that currently available solutions focus on delivering precise estimation through tools that are highly dependent on the underlying platform as in order to provide precise and safe results, the architecture of the system must be take into account. In this project we address these issues by developing a prototype that maintains a good level of precision while being adaptable to a variety of platforms by separating as much as possible the worst case execution time estimation stage from the hardware modeling aspects.

Mots clés: WCET; Abstract State Machine; Symbolic Execution

Domaines: Informatique et langage [cs.CL]; Architectures Matérielles [cs.AR]; Systèmes embarqués; Modélisation et simulation

Vladimir-Alexandru Paun, Bruno Monsuez. Adaptable and Precise Worst Case Execution Time Estimation Tool. Languages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China. ⟨hal-01214943⟩