A Framework For The Evaluation Of Measurement-based Timing Analyses

Benjamin Lesage 1 David Griffin 1 Frank Soboczenski 1 Iain Bate 1 Robert Davis 2, 1
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between di↵erent estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realisticexecution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.
Type de document :
Communication dans un congrès
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.35-44
Liste complète des métadonnées

https://hal.inria.fr/hal-01231710
Contributeur : Robert Davis <>
Soumis le : vendredi 20 novembre 2015 - 15:30:05
Dernière modification le : samedi 21 novembre 2015 - 01:06:09

Identifiants

  • HAL Id : hal-01231710, version 1

Collections

Citation

Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert Davis. A Framework For The Evaluation Of Measurement-based Timing Analyses. 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.35-44. <hal-01231710>

Partager

Métriques

Consultations de la notice

79