Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

Abstract : We focus on the problem of computing tight deadline miss models for real-time systems, which bound the number of potential deadline misses in a given sequence of activations of a task. In practical applications, such guarantees are often sufficient because many systems are in fact not hard real-time. Our major contribution is a general formulation of that problem in the context of systems where some tasks occasionally experience sporadic overload. Based on this new formulation, we present an algorithm that can take into account fine-grained effects of overload at the input of different tasks when computing deadline miss bounds. Finally, we show in experiments with synthetic as well as industrial data that our algorithm produces bounds that are much tighter than in previous work, in sufficiently short time.
Type de document :
Communication dans un congrès
Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. <10.1109/ECRTS.2015.29>
Liste complète des métadonnées

https://hal.inria.fr/hal-01257065
Contributeur : Sophie Quinton <>
Soumis le : vendredi 15 janvier 2016 - 16:46:00
Dernière modification le : vendredi 11 mars 2016 - 15:58:32

Identifiants

Collections

Citation

Xu Wenbo, Zain A. H. Hammadeh, Kröller Alexander, Sophie Quinton, Rolf Ernst. Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. <10.1109/ECRTS.2015.29>. <hal-01257065>

Partager

Métriques

Consultations de la notice

82