Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities

Abstract : Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Classical models do not take into account these levels. Vestal introduced a new multiple criticality model, to model more precisely existing real-time systems, and algorithms to schedule such systems. Such task model represents a potentially very significant advance in the modeling of safety-critical real-time systems. Baruah and Vestal continues this investigation, with a new algorithm under fixed and dynamic priority policies. In this paper, we provide some results about the optimality of Vestal's algorithm and analyze an interesting property of this algorithm. We also adapt sensitivity analysis developed by Bini et al. for multiple criticality systems
Type de document :
Communication dans un congrès
Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.13-22, 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00441819
Contributeur : Alain Monteil <>
Soumis le : jeudi 17 décembre 2009 - 13:18:09
Dernière modification le : mardi 22 décembre 2009 - 15:42:09
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:58:25

Fichier

UniprocessorScheduling_Dorin.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00441819, version 1

Collections

Citation

François Dorin, Pascal Richard, Michael Richard, Joël Goossens. Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities. Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.13-22, 2009. 〈inria-00441819〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

122