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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

Conference

ConferenceThe 8th International Symposium on Theoretical Aspects of Software Engineering
Number8th
Country/TerritoryChina
CityChangsha
Period01/09/201403/09/2014
SeriesTASE

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

Fingerprint

Dive into the research topics of 'Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks'. Together they form a unique fingerprint.

Cite this