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

A. Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014 2014 Theoretical Aspects of Software Engineering Conference  
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
more » ... ical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution.
doi:10.1109/tase.2014.27 dblp:conf/tase/BoudjadarDKLMNS14 fatcat:g2ehz7edp5ezlpivdlph3pjkly