Reliable and Precise WCET Determination

Contents

Abstract
Introduction
Timing validation: WCET computation

Reconstruction of the control flow from binary programs
Value analysis
Cache analysis
Pipeline analysis
Path analysis
Analysis of loops and recursive procedures

Supported microprocessors
References and links

Last modified on 2 September 2011 by webmaster. © 2002–2011 AbsInt.
URL: http://www.timing-validation.com/wcet/contents.htm