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

Research output: Research - peer-reviewArticle in proceeding

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

Details

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.
Original languageEnglish
Title of host publicationTheoretical Aspects of Software Engineering Conference (TASE), 2014
Number of pages5
PublisherIEEE Computer Society Press
Publication date1 Sep 2014
Pages126-130
ISBN (Electronic)978-1-4799-5029-4/14
DOI
StatePublished - 1 Sep 2014
Publication categoryResearch
Peer-reviewedYes
EventThe 8th International Symposium on Theoretical Aspects of Software Engineering - Changsha, China
Duration: 1 Sep 20143 Sep 2014
Conference number: 8th

Conference

ConferenceThe 8th International Symposium on Theoretical Aspects of Software Engineering
Nummer8th
LandChina
ByChangsha
Periode01/09/201403/09/2014
SeriesTASE

    Research areas

  • 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

Download statistics

No data available
ID: 204420165