Title :
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
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;
Conference_Titel :
Theoretical Aspects of Software Engineering Conference (TASE), 2014
Conference_Location :
Changsha
DOI :
10.1109/TASE.2014.27
