Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Standard

Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim Guldstrand; Nyman, Ulrik; Skou, Arne; Mikučionis, Marius.

Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, 2014. s. 126-130.

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Harvard

Boudjadar, J, David, A, Kim, JH, Larsen, KG, Nyman, U, Skou, A & Mikučionis, M 2014, Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. i Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, TASE, s. 126-130, Changsha, Kina, 01/09/2014. DOI: 10.1109/TASE.2014.27

APA

CBE

Boudjadar J, David A, Kim JH, Larsen KG, Nyman U, Skou A, Mikučionis M. 2014. Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. I Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press. s. 126-130. (TASE). Tilgængelig fra: 10.1109/TASE.2014.27

MLA

Boudjadar, Jalil o.a.. "Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks". Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press. (TASE). 2014. 126-130. Tilgængelig: 10.1109/TASE.2014.27

Vancouver

Boudjadar J, David A, Kim JH, Larsen KG, Nyman U, Skou A o.a. Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. I Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press. 2014. s. 126-130. (TASE). Tilgængelig fra, DOI: 10.1109/TASE.2014.27

Author

Bibtex

@inbook{b3e7746435ba4002959700a8e545f375,
title = "Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks",
abstract = "We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.",
keywords = "degree of schedulability, mixed criticality, probabilistic sporadic tasks, scheduling systems, formal verification, quality of service, real-time systems, statistical distributions, DoQoS, PoMD, Uppaal SMC, degradation of quality of service, analytical models",
author = "Jalil Boudjadar and Alexandre David and Kim, {Jin Hyun} and Larsen, {Kim Guldstrand} and Ulrik Nyman and Arne Skou and Marius Mikučionis",
year = "2014",
month = "9",
doi = "10.1109/TASE.2014.27",
pages = "126--130",
booktitle = "Theoretical Aspects of Software Engineering Conference (TASE), 2014",
publisher = "IEEE Computer Society Press",
address = "United States",

}

RIS

TY - GEN

T1 - Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

AU - Boudjadar,Jalil

AU - David,Alexandre

AU - Kim,Jin Hyun

AU - Larsen,Kim Guldstrand

AU - Nyman,Ulrik

AU - Skou,Arne

AU - Mikučionis,Marius

PY - 2014/9/1

Y1 - 2014/9/1

N2 - We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.

AB - We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD), and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.

KW - degree of schedulability

KW - mixed criticality

KW - probabilistic sporadic tasks

KW - scheduling systems

KW - formal verification

KW - quality of service

KW - real-time systems

KW - statistical distributions

KW - DoQoS

KW - PoMD

KW - Uppaal SMC

KW - degradation of quality of service

KW - analytical models

U2 - 10.1109/TASE.2014.27

DO - 10.1109/TASE.2014.27

M3 - Article in proceeding

SP - 126

EP - 130

BT - Theoretical Aspects of Software Engineering Conference (TASE), 2014

PB - IEEE Computer Society Press

ER -

ID: 204420165