Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

Abstract : In this paper, we present an extension of slack analysis for budgeting in the design of weakly-hard real-time systems. During design, it often happens that some parts of a task set are fully specified while other parameters, e.g. regarding recovery or monitoring tasks, will be available only much later. In such cases, slack analysis can help anticipate how these missing parameters can influence the behavior of the whole system so that a resource budget can be allocated to them. It is, however, sufficient in many application contexts to budget these tasks in order to preserve weakly-hard rather than hard guarantees. We thus present an extension of slack analysis for deriving task budgets for systems with hard and weakly-hard requirements. This work is motivated by and validated on a realistic case study inspired by industrial practice. 1998 ACM Subject Classification B.8.2 Performance Analysis and Design Aids
Type de document :
Communication dans un congrès
ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, 〈https://www.ecrts.org/ecrts17〉. 〈10.4230/LIPIcs.ECRTS.2017.17〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01674742
Contributeur : Sophie Quinton <>
Soumis le : mercredi 3 janvier 2018 - 15:21:41
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : jeudi 3 mai 2018 - 07:11:10

Fichier

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

Identifiants

Citation

Zain Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, et al.. Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems. ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, 〈https://www.ecrts.org/ecrts17〉. 〈10.4230/LIPIcs.ECRTS.2017.17〉. 〈hal-01674742〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

42