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 :
بازگشت