DocumentCode
3159934
Title
Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters
Author
Maxim, Dorin ; Cucu-Grosjean, Liliana
Author_Institution
LORIA, Univ. de Lorraine, Vandoeuvre-lès-Nancy, France
fYear
2013
fDate
3-6 Dec. 2013
Firstpage
224
Lastpage
235
Abstract
In this paper, we consider a probabilistic model for real-time task systems with probabilistic worst-case execution times, probabilistic minimum inter-arrival times and probabilistic deadlines. We propose an analysis computing response time distributions of the tasks scheduled on one processor under a task-level fixed-priority preemptive scheduling policy. The complexity of our method is analyzed and it is improved by re-sampling techniques on worst-case execution time distributions and/or minimal inter-arrival time distributions. The improvements are shown through experimental results. Also, experiments are conducted in order to investigate the improvement obtained by using a probabilistic model in terms of precision and schedulability gained as opposed to a deterministic worst-case reasoning.
Keywords
computational complexity; scheduling; statistical distributions; computing response time distributions; fixed-priority tasks; inter-arrival time distributions; multiple probabilistic parameters; probabilistic deadlines; probabilistic minimum inter-arrival times; probabilistic model; probabilistic worst-case execution times; real-time task systems; resampling techniques; response time analysis; task-level fixed-priority preemptive scheduling policy; tasks scheduling; worst-case execution time distributions; worst-case reasoning; Analytical models; Convolution; Equations; Probabilistic logic; Random variables; Real-time systems; Time factors; fixed-priority; probabilistic deadlines; probabilistic minimum inter-arrival times; probabilistic real-time; probabilistic worst-case execution time;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium (RTSS), 2013 IEEE 34th
Conference_Location
Vancouver, BC
ISSN
1052-8725
Type
conf
DOI
10.1109/RTSS.2013.30
Filename
6728877
Link To Document