Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration

@inproceedings{Logothetis2003ExactHL,
  title={Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration},
  author={George Logothetis and Klaus Schneider},
  booktitle={DATE},
  year={2003}
}
In this paper, a novel approach to high-level (i.e. architecture independent) worst case execution time (WCET) analysis is presented that automatically computes exact bounds for all inputs. To this end, we make use of the distinction between micro and macro steps as usually done by synchronous languages. As macro steps must not contain loops, a later low-level WCET analysis (architecture dependent) is simplified to a large extent. Checking exact execution times for all inputs is a complex task… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS