DocumentCode :
592131
Title :
A Statistical Response-Time Analysis of Real-Time Embedded Systems
Author :
Yue Lu ; Nolte, Thomas ; Bate, Iain ; Cucu-Grosjean, Liliana
Author_Institution :
Malardalen Real-Time Res. Centre, Malardalen Univ., Vasteras, Sweden
fYear :
2012
fDate :
4-7 Dec. 2012
Firstpage :
351
Lastpage :
362
Abstract :
Real-time embedded systems are becoming ever more complex. We are reaching the stage where even if static Response-Time Analysis (RTA) was feasible from a cost and technical perspective, the results of such an analysis are overly pessimistic. This makes them less useful to the practitioner. In addition, the temporal validation and verification of such systems in some applications, e.g., aeronautics, requires the probability of obtaining a worst-case response time larger than a given value in order to support dependable system functions. All these facts advocate moving toward statistical RTA, which instead of calculating absolute worst-case timing guarantees, computes a probabilistic worst-case response time estimate. The contribution of this paper is to present and evaluate such a statistical RTA technique which uses a black box view of the systems under analysis, by not requiring estimates of parameters such as worst-case execution times of tasks. Furthermore, our analysis is applicable to real systems that are complex, e.g., from a task dependencies perspective.
Keywords :
embedded systems; formal verification; parameter estimation; statistical analysis; task analysis; aeronautics; black box view; dependable system functions; probabilistic worst-case response time estimation; real-time embedded systems; statistical RTA; statistical RTA technique; statistical response-time analysis; temporal validation; temporal verification; worst-case execution time; Data models; Probabilistic logic; Probability; Real-time systems; Sociology; Statistics; Time factors; black box view; statistical response-time analysis; task execution and temporal dependencies; timing traces;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd
Conference_Location :
San Jan
ISSN :
1052-8725
Print_ISBN :
978-1-4673-3098-5
Type :
conf
DOI :
10.1109/RTSS.2012.85
Filename :
6424817
Link To Document :
بازگشت