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

Author

Boudjadar, A. Jalil ; David, Alexandre ; Jin Hyun Kim ; Larsen, Kim G. ; Mikucionis, Marius ; Nyman, Ulrik ; Skou, Ame

Author_Institution

Inst. of Comput. Sci., Aalborg Univ., Aalborg, Denmark

fYear

2014

fDate

1-3 Sept. 2014

Firstpage

126

Lastpage

130

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

formal verification; quality of service; real-time systems; scheduling; statistical distributions; DoQoS; PoMD; UPPAAL SMC; degradation of the quality of service; mixed-criticality real-time systems; percentage of missed deadlines; probabilistic sporadic tasks; schedulability degree; statistical model checking; user-defined continuous probability distributions; Analytical models; Degradation; Model checking; Probability distribution; Processor scheduling; Real-time systems; Scheduling; Degree of schedulability; Mixed-criticality; Probabilistic sporadic tasks; Scheduling systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Aspects of Software Engineering Conference (TASE), 2014

Conference_Location

Changsha

Type

conf

DOI

10.1109/TASE.2014.27

Filename

6976578