Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
- Souyris, Jean
- Le Pavec, Erwan
- Himbert, Guillaume
- Borios, Guillaume
- Heckmann, Reinhold
Publication date
January 2007
DOI Publisher
OASIcs - OpenAccess Series in Informatics. 5th International Workshop on Worst-Case Execution Time Analysis (WCET\u2705)Abstract
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 Interpretatio
Add to ORKG