Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
Jean Souyris, Erwan Le Pavec, Guillaume Himbert, Guillaume Borios, Victor Jégu, Reinhold Heckmann · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008
This paper presents how the timing analyser aiT is used for computing the Worst-Case Execution Time (WCET) of two safety-critical avionics programs. The aiT tool has been developed by AbsInt GmbH as a static analyser based on Abstract Interpretation