Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code

A static Worst-Case Execution Time (WCET) ana-lysis derives upper bounds for the execution times ofprograms. Such analysis requires information about thepossible program ows. The current practice is to provide this information manually, which can be laboriousand error-prone. An alternative is to der...

Full description

Saved in:
Bibliographic Details
Published in2008 Euromicro Conference on Real-Time Systems pp. 331 - 340
Main Authors Barkah, Dani, Ermedahl, Andreas, Gustafsson, Jan, Lisper, Björn, Sandberg, Christer
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2008
Subjects
Annotations
case study
Codes
embedded real-time systems
Hardware
Mathematical models
measurements
Operating systems
Production
Real-time systems
Software
static analysis
Timing
Upper bound
WCET analysis
Online AccessGet full text
ISBN9780769532981
0769532985
ISSN1068-3070
DOI10.1109/ECRTS.2008.37

Cover