Verifying non-functional real-time properties by static analysis

Christian Ferdinand (1) , Reinhold Heckmann (1)

1 Angewandte Informatik - AbsInt GmbH

Static analyzers based on abstract interpretation are tools aiming at the automatic detection of run-time properties by analyzing the source, assembly or binary code of a program. From Airbus' point of view, the first interesting properties covered by static analyzers available on the market, or as prototypes coming from research, are absence of run-time errors, maximum stack usage and Worst-Case Execution Time (WCET). This paper will focus on the two latter.

Mots clés: Safety; Estimation of Stack Usage; Timing Validation; Schedulability Analysis; WCET (worst-case execution time) Prediction

Domaines: Informatique [cs]; Systèmes embarqués

Christian Ferdinand, Reinhold Heckmann. Verifying non-functional real-time properties by static analysis. 2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France. ⟨hal-02271277⟩