Estimation of probabilistic worst case execution time while accounting OS costs

Walid Talaboulma 1 Cristian Maxim 1, 2 Adriana Gogonel 1 Yves Sorel 1 Liliana Cucu-Grosjean 1
1 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 : The arrival of modern and more complex processors (e.g., use of caches, multi-and many-core processors) increases the timing variability of tasks, i.e., the worst case execution time (WCET) is becoming significantly larger, while the probability of appearance of a worst case execution time is extremely low. Approaches taking into account this probability have been the topic of last years research by defining the probabilistic worst case execution time of a task as a probabilistic bound on all execution time scenarios. Existing measurement-based approaches consider the execution of the tasks in isolation and our contribution provides hints for accounting OS costs.
Type de document :
Communication dans un congrès
21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States. 2015
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01298737
Contributeur : Cristian Maxim <>
Soumis le : mercredi 6 avril 2016 - 15:35:06
Dernière modification le : jeudi 7 avril 2016 - 01:06:17
Document(s) archivé(s) le : jeudi 7 juillet 2016 - 16:44:30

Fichier

WTalaboulmaWIP_RTAS2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01298737, version 1

Collections

Citation

Walid Talaboulma, Cristian Maxim, Adriana Gogonel, Yves Sorel, Liliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs. 21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States. 2015. <hal-01298737>

Partager

Métriques

Consultations de
la notice

299

Téléchargements du document

84