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

Sanjoy Baruah 1 Vincenzo Bonifaci 2 Gianlorenzo D'Angelo 3, 4 Haohan Li 1 Alberto Marchetti-Spaccamela 5 Suzanne Ster 6 Leen Stougie 7
1 Department of Computer Science [Chapel Hill]
2 MPII - Max-Planck-Institut für Informatik
3 UNIVAQ - University of L'Aquila [Italy]
4 MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
5 DIS - Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
6 VU - Vrije Universiteit Amsterdam [Amsterdam]
7 Department of mathematics and computing science [Eindhoven]
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 : jeudi 20 septembre 2018 - 07:54:02
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

UNICE | INRIA | I3S | UNIV-COTEDAZUR

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

572

Téléchargements de fichiers

349

Contact


archive-ouverte@inria.fr