DocumentCode :
3144156
Title :
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice
Author :
Staschulat, J. ; Braam, J.C. ; Ernst, Rolf ; Rambow, T. ; Schlor, R. ; Busch, R.
Author_Institution :
Tech. Univ. Braunschweig, Braunschweig
fYear :
2006
fDate :
15-19 Nov. 2006
Firstpage :
204
Lastpage :
211
Abstract :
To guarantee real-time behavior of an embedded application, a schedulability analysis can be used. Such an analysis requires the worst case execution time (WCET) of the application. While several academic approaches to conservatively bound the WCET have been proposed in the last decade, common practice in industry remains simulation and software tests. One reason is that industrial requirements are not sufficiently addressed by academic approaches. In this paper we identify important industrial requirements for WCET-analysis tools. Then, we describe the methodology of a previously developed WCET-analysis approach and revise important aspects of its methodology and its implementation to address key industrial requirements. In a large-scale case study the WCET-analysis tool is applied to a safety-critical automotive control application to evaluate the applicability of the tool. Furthermore, the faced challenges and the re-targeting costs for a new processor are discussed.
Keywords :
embedded systems; production engineering computing; cost-efficient worst-case execution time analysis; embedded application; industrial requirements; real-time behavior; safety-critical automotive control application; schedulability analysis; Application software; Computer industry; Embedded system; Hardware; Job shop scheduling; Processor scheduling; Sampling methods; Size control; Testing; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
Type :
conf
DOI :
10.1109/ISoLA.2006.64
Filename :
4463714
Link To Document :
بازگشت