Portal de Periódicos da CAPES

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

2006; Springer Science+Business Media; Linguagem: Inglês

10.1007/11823063_1

1611-3349

Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm,

Software Reliability and Analysis Research

Determining the worst-case execution times (WCETs) of tasks in safety-critical hard real-time systems is a difficult problem. A combination of automatic analysis techniques with a few user annotations yields precise WCET estimates.