• 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