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

doi:10.1109/TASE.2014.27

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

10 Citationer (Scopus)

568 Downloads (Pure)

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.

Originalsprog	Engelsk
Titel	Theoretical Aspects of Software Engineering Conference (TASE), 2014
Antal sider	5
Forlag	IEEE Computer Society Press
Publikationsdato	1 sep. 2014
Sider	126-130
ISBN (Elektronisk)	978-1-4799-5029-4/14
DOI	https://doi.org/10.1109/TASE.2014.27
Status	Udgivet - 1 sep. 2014
Begivenhed	The 8th International Symposium on Theoretical Aspects of Software Engineering - Changsha, Kina Varighed: 1 sep. 2014 → 3 sep. 2014 Konferencens nummer: 8th

Konference

Konference	The 8th International Symposium on Theoretical Aspects of Software Engineering
Nummer	8th
Land/Område	Kina
By	Changsha
Periode	01/09/2014 → 03/09/2014

Navn	TASE

Adgang til dokumentet

10.1109/TASE.2014.27

ownTASE2014Accepteret manuskript, 886 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Projektdeltager), Larsen, K. G. (Projektdeltager), Nielsen, B. (Projektdeltager), David, A. (Projektdeltager), Nyman, U. (Projektdeltager), Mikučionis, M. (Projektdeltager), Olsen, P. (Projektdeltager), Boudjadar, J. (Projektdeltager) & Kim, J. H. (Projektdeltager)
Artemis JU
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)
Artemis JU
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning

Citationsformater

@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{\v c}ionis",

year = "2014",

month = sep,

day = "1",

doi = "10.1109/TASE.2014.27",

language = "English",

series = "TASE",

publisher = "IEEE Computer Society Press",

pages = "126--130",

booktitle = "Theoretical Aspects of Software Engineering Conference (TASE), 2014",

address = "United States",

note = "The 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014 ; Conference date: 01-09-2014 Through 03-09-2014",

}

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, The 8th International Symposium on Theoretical Aspects of Software Engineering, 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 et al.
Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, 2014. s. 126-130 (TASE).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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

N1 - Conference code: 8th

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

T3 - TASE

SP - 126

EP - 130

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

PB - IEEE Computer Society Press

T2 - The 8th International Symposium on Theoretical Aspects of Software Engineering

Y2 - 1 September 2014 through 3 September 2014

ER -

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

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

MBAT: Model-based Analysis and Testing of Embedded Systems

Citationsformater