WCET and Mixed-criticality: How to Quantify the Confidence in WCET Estimations?

Sebastian Altmeyer (1) , Björn Lisper (2) , Claire Maiza (3) , Jan Reineke (4) , Christine Rochange (5)

1 University of Luxemburg
2 MDH - Mälardalen University
3 VERIMAG - IMAG - VERIMAG
4 Compiler Design Lab [Saarbrücken]
5 IRIT-TRACES - Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués

Mixed-criticality systems integrate components of different criticality. Different criticality levels require different levels of confidence in the correct behavior of a component. One aspect of correctness is timing. Confidence in worst-case execution time (WCET) estimates depends on the process by which they have been obtained. A somewhat naive view is that static WCET analyses determines safe bounds in which we can have absolute confidence, while measurement-based approaches are inherently unreliable. In this paper, we refine this view by exploring sources of doubt in the correctness of both static and measurement-based WCET analysis.

Mots clés: confidence in WCET estimates; mixed criticality; WCET analysis

Domaines: Informatique [cs]

Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange. WCET and Mixed-criticality: How to Quantify the Confidence in WCET Estimations?. Workshop on Worst-Case Execution Time Analysis, Jul 2015, Lund, Sweden. pp.65--74, ⟨10.4230/OASIcs.WCET.2015.65⟩. ⟨hal-03193103⟩