Learn More
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. 1. INTRODUCTION In the field of safety-critical avionics applications, verifying that a program exhibits the(More)
  • 1