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

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Abstrakt

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.
Luk

Detaljer

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
PublikationsartForskning
Peer reviewJa
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
SerieTASE

Download-statistik

Ingen data tilgængelig
ID: 204420165