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

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

UNICE | INRIA | I3S

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

363

Téléchargements du document

239

Contact


archive-ouverte@inria.fr