Paper Info
Title
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context
Abstract
We define the concept of degree of schedulability to characterize the schedulability and performance of soft real-time systems. The degree of schedulability of a system is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD); and 2) Degradation of the Quality of Service (DoQoS). Our work is set as a model-based framework for hierarchical scheduling systems where we introduce probability based sporadic tasks. The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. The separately modeled task triggering events represent the system environment. 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. Finally, we show the applicability of our framework by analyzing an avionics case study.
Year
DOI
Venue
2015
10.1145/2737166.2737170
Component-Based Software Engineering
Keywords
Field
DocType
quantitative schedulability analysis,continuous probability tasks,hierarchical context,soft real-time system performance,percentage of missed dead-lines,PoMD,degradation of the quality of service,DoQoS,model-based framework,hierarchical scheduling systems,probability based sporadic tasks,task arrival patterns,user-defined continuous probability distributions,single scheduling component,periodic tasks,statistical model checking,UPPAAL SMC,avionics case study
Model checking,Computer science,Scheduling (computing),Avionics,Quality of service,Statistical model checking,Real-time computing,Scheduling system,Probability distribution,Periodic graph (geometry)
Conference
Citations 
PageRank 
References 
1
0.35
24
Authors
8
Name
Order
Citations
PageRank
Jin Hyun Kim1376.75
Abdeldjalil Boudjadar2466.32
Ulrik Nyman353326.49
Marius Mikučionis479933.52
Kim G. Larsen53922254.03
Arne Skou61279102.75
Insup Lee74996413.64
Linh Thi Xuan Phan8132.24