DocumentCode
3030961
Title
Classification of WCET analysis techniques
Author
Kirner, Raimund ; Puschner, Peter
Author_Institution
Inst. fur Technische Informatik, Technische Univ. Wien, Austria
fYear
2005
fDate
18-20 May 2005
Firstpage
190
Lastpage
199
Abstract
Worst-case execution time (WCET) analysis has become an active research area over the last decade. Various techniques have been developed to improve the WCET calculation methods for numerous features of the hardware. In parallel, attention has been paid to integrate the analysis techniques into modern software engineering processes. In this paper we give an overview about the different aspects of WCET analysis. We clarify terms and categorise features of WCET analysis tools. Therefore we present a generic framework for WCET analysis and describe its fundamental operations. We present a classification scheme to test the applicability of WCET analysis tools for certain analysis requirements.
Keywords
formal specification; formal verification; program diagnostics; real-time systems; WCET analysis technique; software engineering; worst-case execution time analysis; Assembly; Computer languages; Hardware; Information analysis; Logic; Object oriented modeling; Software engineering; Testing; Timing; Upper bound; Classification; Execution Times; Generic Framework; Worst-Case Execution Time Analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on
Print_ISBN
0-7695-2356-0
Type
conf
DOI
10.1109/ISORC.2005.19
Filename
1420969
Link To Document