From Relevant High-level Properties to WCET Computation Improvement

Vincent Mussot (1, 2) , Armelle Bonenfant (1, 2) , Pascal Sotin (1, 3) , Denis Claraz (4) , Philippe Cuenot (4)

1 IRIT-TRACES - Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués
2 UT3 - Université Toulouse III - Paul Sabatier
3 UT2J - Université Toulouse - Jean Jaurès
4 Continental Automotive France [Toulouse]

The scheduling of real-time systems requires knowing the Worst Case Execution Time (WCET) of their tasks. WCET analysers compute timings by analysis of the low level behaviour of the target task. This document presents improvements in the WCET computation allowed by taking into account high level behaviours of the tasks. We first classify high level knowledge according to the relevance with respect to WCET estimation. We then propose a systematic method to bring this information back to the low level on which operate most WCET analysers. This approach separates the concerns of stating properties, integrating properties and computing a WCET aware of these properties.

Mots clés: WCET computation; Timing analysis; Infeasible paths; Annotation language

Domaines: Réseaux et télécommunications [cs.NI]; Système d'exploitation [cs.OS]; Architectures Matérielles [cs.AR]; Systèmes embarqués

Vincent Mussot, Armelle Bonenfant, Pascal Sotin, Denis Claraz, Philippe Cuenot. From Relevant High-level Properties to WCET Computation Improvement. International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Feb 2014, Toulouse, France. pp.0. ⟨hal-03666048⟩