Measurement-Based Probabilistic Timing Analysis for Multi-path Programs

Abstract : The rigorous application of static timing analysis requires a large and costly amount of detail knowledge on the hardware and software components of the system. Probabilistic Timing Analysis has potential for reducing the weight of that demand. In this paper, we present a sound measurement-based probabilistic timing analysis technique based on Extreme Value Theory. In all the experiments made as part of this work, the timing bounds determined by our technique were less than 15% pessimistic in comparison with the tightest possible bounds obtainable with any probabilistic timing analysis technique. As a point of interest to industrial users, our technique also requires a comparatively low number of measurement runs of the program under analysis; less than 650 runs were needed for the benchmarks presented in this paper.
Type de document :
Communication dans un congrès
the 24th Euromicro Conference on Real-Time Systems, Jul 2012, Pise, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00765987
Contributeur : Liliana Cucu <>
Soumis le : lundi 17 décembre 2012 - 13:22:26
Dernière modification le : jeudi 6 septembre 2018 - 11:36:01

Identifiants

  • HAL Id : hal-00765987, version 1

Collections

Citation

Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Codé Lo, Tullio Vardanega, et al.. Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. the 24th Euromicro Conference on Real-Time Systems, Jul 2012, Pise, Italy. 2012. 〈hal-00765987〉

Partager

Métriques

Consultations de la notice

259