MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Baruah, Sanjoy
Bonifaci, Vincenzo
D'Angelo, Gianlorenzo
Li, Haohan
Marchetti-Spaccamela, Alberto
Megow, Nicole
Stougie, Leen
dblp
dblp
dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Baruah, Sanjoy
D'Angelo, Gianlorenzo
Li, Haohan
Marchetti-Spaccamela, Alberto
Stougie, Leen
Editor(s):
Hlinen{\'y}, Petr
Kucera, Anton\'{\i}n
dblp
dblp
Not MPII Editor(s):
Hlinen{\'y}, Petr
Kucera, Anton\'{\i}n
BibTeX cite key*:
Bonifaci:2010:c
Title, Booktitle
Title*:
Scheduling Real-Time Mixed-Criticality Jobs
MCscheduling-mfcs-final.pdf (318.63 KB)
Booktitle*:
Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010
Event, URLs
Conference URL::
http://mfcsl2010.fi.muni.cz/mfcs
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-15155-2_10
Event Address*:
Brno, Czech Republic
Language:
English
Event Date*
(no longer used):
Organization:
European Research Consortium for Informatics and Mathematics (ERCIM)
Event Start Date:
23 August 2010
Event End Date:
27 August 2010
Publisher
Name*:
Springer
URL:
http://www.springer.com/
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
6281
Number:
Month:
October
Pages:
90-101
Year*:
2010
VG Wort Pages:
21
ISBN/ISSN:
3-642-15154-X
Sequence Number:
DOI:
10.1007/978-3-642-15155-2
Note, Abstract, ©
(LaTeX) Abstract:
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different certification authorities. Certification requirements in such ``mixed-criticality'' systems give rise to interesting scheduling
problems, that cannot be satisfactorily addressed using techniques from conventional scheduling theory. In this paper, we study a formal model for representing such mixed-criticality workloads. We demonstrate first the intractability of determining whether a system specified in this model can be scheduled to meet all its certification requirements, even for systems subject to two sets of certification requirements. Then we quantify, via the metric of processor speedup factor, the effectiveness of two techniques, reservation-based scheduling and priority-based scheduling, that are widely used in scheduling such mixed-criticality systems, showing that the latter of the two is superior to the former. We also show that the speedup factors are tight for these two techniques.
Keywords:
Real-Time Scheduling, Mixed Criticality, Worst-Case Execution Times, Schedulability
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Algorithms and Complexity Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Bonifaci:2010:c,
AUTHOR = {Baruah, Sanjoy and Bonifaci, Vincenzo and D'Angelo, Gianlorenzo and Li, Haohan and Marchetti-Spaccamela, Alberto and Megow, Nicole and Stougie, Leen},
EDITOR = {Hlinen{\'y}, Petr and Kucera, Anton\'{\i}n},
TITLE = {Scheduling Real-Time Mixed-Criticality Jobs},
BOOKTITLE = {Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010},
PUBLISHER = {Springer},
YEAR = {2010},
ORGANIZATION = {European Research Consortium for Informatics and Mathematics (ERCIM)},
VOLUME = {6281},
PAGES = {90--101},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Brno, Czech Republic},
MONTH = {October},
ISBN = {3-642-15154-X},
DOI = {10.1007/978-3-642-15155-2},
}


Entry last modified by Manuel Lamotte-Schubert, 03/01/2011
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
12/20/2010 05:20:45 PM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Manuel Lamotte-Schubert
Vincenzo Bonifaci
Vincenzo Bonifaci
Anja Becker
Anja Becker
Edit Dates
01.03.2011 13:14:46
02/10/2011 05:19:16 PM
02/10/2011 04:52:41 PM
13.01.2011 12:57:46
12/21/2010 08:54:37 PM


File Attachment Icon
MCscheduling-mfcs-final.pdf