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

Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman, Arne Skou, Marius Mikučionis

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)
244 Downloads (Pure)

Resumé

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.
OriginalsprogEngelsk
TitelTheoretical Aspects of Software Engineering Conference (TASE), 2014
Antal sider5
ForlagIEEE Computer Society Press
Publikationsdato1 sep. 2014
Sider126-130
ISBN (Elektronisk)978-1-4799-5029-4/14
DOI
StatusUdgivet - 1 sep. 2014
BegivenhedThe 8th International Symposium on Theoretical Aspects of Software Engineering - Changsha, Kina
Varighed: 1 sep. 20143 sep. 2014
Konferencens nummer: 8th

Konference

KonferenceThe 8th International Symposium on Theoretical Aspects of Software Engineering
Nummer8th
LandKina
ByChangsha
Periode01/09/201403/09/2014
NavnTASE

Fingerprint

Real time systems
Probability distributions
Scheduling
Model checking
Quality of service
Degradation
Statistical Models

Emneord

    Citer dette

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., 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 (s. 126-130). IEEE Computer Society Press. TASE https://doi.org/10.1109/TASE.2014.27
    Boudjadar, Jalil ; David, Alexandre ; Kim, Jin Hyun ; Larsen, Kim Guldstrand ; Nyman, Ulrik ; Skou, Arne ; Mikučionis, Marius. / 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, 2014. s. 126-130 (TASE).
    @inproceedings{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",
    day = "1",
    doi = "10.1109/TASE.2014.27",
    language = "English",
    pages = "126--130",
    booktitle = "Theoretical Aspects of Software Engineering Conference (TASE), 2014",
    publisher = "IEEE Computer Society Press",
    address = "United States",

    }

    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. https://doi.org/10.1109/TASE.2014.27

    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: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    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 -

    Boudjadar J, David A, Kim JH, Larsen KG, Nyman U, Skou A et al. 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). https://doi.org/10.1109/TASE.2014.27