Title :
Classification of WCET analysis techniques
Author :
Kirner, Raimund ; Puschner, Peter
Author_Institution :
Inst. fur Technische Informatik, Technische Univ. Wien, Austria
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;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on
Print_ISBN :
0-7695-2356-0
DOI :
10.1109/ISORC.2005.19