Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




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

URL of the conference:

http://mfcsl2010.fi.muni.cz/mfcs

URL for downloading the paper:

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
MCscheduling-mfcs-final.pdf