ALF - A Language for WCET Flow Analysis

Jan Gustafsson, Andreas Ermedahl, BjöRn Lisper, Christer Sandberg & Linus KäLlberg
Static Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component in static WCET analysis is the flow analysis, which derives bounds on the number of times different code entities can be executed. Examples of flow information derived by a flow analysis are loop bounds and infeasible paths. Flow analysis can be performed on source code, intermediate code,...