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
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