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

Publikation: Forskning - peer review › Konferenceartikel 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.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

### Harvard

*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

*Theoretical Aspects of Software Engineering Conference (TASE), 2014*(s. 126-130). IEEE Computer Society Press. TASE, DOI: 10.1109/TASE.2014.27

### CBE

### MLA

*Theoretical Aspects of Software Engineering Conference (TASE), 2014.*IEEE Computer Society Press. (TASE). 2014. 126-130. Tilgængelig: 10.1109/TASE.2014.27

### Vancouver

### Author

### Bibtex

}

### 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 -