Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Scheduling Real-time Mixed-criticality Jobs

Baruah, S., Bonifaci, V., D'Angelo, G., Li, H., Marchetti-Spaccamela, A., Megow, N., et al. (2010). Scheduling Real-time Mixed-criticality Jobs. In P. Hliněný, & A. Kučera (Eds.), Mathematical Foundations of Computer Science 2010 (pp. 90-101). Berlin: Springer. doi:10.1007/978-3-642-15155-2.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-16DF-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-28A4-8
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
MCscheduling-mfcs-final.pdf (beliebiger Volltext), 319KB
 
Datei-Permalink:
-
Name:
MCscheduling-mfcs-final.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Baruah, Sanjoy1, Autor
Bonifaci, Vincenzo2, Autor           
D'Angelo, Gianlorenzo1, Autor
Li, Haohan1, Autor
Marchetti-Spaccamela, Alberto1, Autor
Megow, Nicole2, Autor           
Stougie, Leen1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20102010
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 536755
DOI: 10.1007/978-3-642-15155-2
URI: http://dx.doi.org/10.1007/978-3-642-15155-2_10
Anderer: Local-ID: C1256428004B93B8-2286C7D71CA98070C12577FF0059CA54-Bonifaci:2010:c
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 35th International Symposium on Mathematical Foundations of Computer Science
Veranstaltungsort: Brno, Czech Republic
Start-/Enddatum: 2010-08-23 - 2010-08-27

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Mathematical Foundations of Computer Science 2010
  Kurztitel : MFCS 2010
  Untertitel : 35th International Symposium, MFCS 2010
Genre der Quelle: Konferenzband
 Urheber:
Hliněný, Petr1, Herausgeber
Kučera, Antonín1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 90 - 101 Identifikator: ISBN: 3-642-15154-X

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 6281 Artikelnummer: - Start- / Endseite: - Identifikator: -