24/2000 : Supporting Control-Flow-Dependent Execution Times on WCET Calculation

RR Number

24/2000

Conference

WCET2000 (Deutschsprachige WCET-Tagung, Paderborn, Germany)

Author(s)

Abstract

Embedded computer systems commonly interact with the environment. There may be some real-time constraints imposed on this interaction. To guarantee such constraints the knowledge about the worst case execution time (WCET) of the system components is mandatory. In the last years several concepts have been developed to obtain the WCET statically by code analysis or dynamically by measurements. In this paper we describe a method for static WCET analysis. This method is based on analysis with implicit path enumeration by the use of linear programming. This is a quite efficient approach with respect to the analysis time. We present a graph based formalism to analyze programs. This formalism handles in a smart way the different execution times of conditional instructions whether the branch is taken or not. This approach enables the calculation of tight WCET result with small effort.

Bibtex

@inproceedings{Kirner:DWCET2000,
  author =       "Raimund Kirner and Peter Puschner",
  title =        "Supporting Control-Flow-Dependent Execution Times on WCET Calculation",
  booktitle =      "Proc. WCET2000 (Deutschsprachige WCET-Tagung,  Paderborn, Germany)",
  organization = "C-Lab, Paderborn",
  year =         "2000",
  month =        "Oct."
}

Download

Get rr-24-2000.pdf - Adobe PDF-format, (261.30 KB; posted at August 20 2001; )