The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems

Abstract : Systems in many safety-critical application domains are subject to certification requirements. For any given system, however, it may be the case that only a subset of its functionality is safety-critical and hence subject to certification; the rest of the functionality is non safety critical and does not need to be certified, or is certified to a lower level of assurance. An algorithm called EDF-VD (for Earliest Deadline First with Virtual Deadlines) is described for the scheduling of such mixed-criticality task systems. Analyses of EDF-VD significantly superior to previously-known ones are presented, based on metrics such as processor speedup factor (EDF-VD is proved to be optimal with respect to this metric) and utilization bounds.
Type de document :
Communication dans un congrès
24th Euromicro Conference on Real-Time Systems (ECRTS12), Jul 2012, Pisa, Italy. IEEE, pp.145-154, 2012, 〈10.1109/ECRTS.2012.42〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00728995
Contributeur : Gianlorenzo D'Angelo <>
Soumis le : vendredi 7 septembre 2012 - 11:13:49
Dernière modification le : vendredi 7 septembre 2012 - 16:12:19
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 10:30:15

Fichier

14-ECRTS12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, et al.. The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. 24th Euromicro Conference on Real-Time Systems (ECRTS12), Jul 2012, Pisa, Italy. IEEE, pp.145-154, 2012, 〈10.1109/ECRTS.2012.42〉. 〈hal-00728995〉

Partager

Métriques

Consultations de
la notice

371

Téléchargements du document

249