AbsInt demonstrates static analysis tools for avionics

MUNICH, 21 Feb. 2013. AbsInt executives are demonstrating the company’s static-analysis tools to an audience of aerospace professionals at the Avionics Europe 2013 exhibition in Munich.

AbsInt’s aiT WCET Analyzer computes safe upper bounds on the worst-case execution time of tasks (WCET), taking into account the cache and pipeline behavior of the processor used. aiT supports a wide range of 16- and 32-bit processors; the most recently supported targets are ARM Cortex-M3, Freescale MPC7447A, TriCore 1767/1197.

StackAnalyzer computes safe upper bounds on the maximal stack usage of tasks and can prove the absence of stack overflows. StackAnalyzer works on the binary code, does not require any code instrumentation, and is available for a wide range of embedded processors.

Astrée finds all potential runtime errors (division by zero, invalid pointer accesses, arithmetic overflows) in C99 programs and can prove the absence of runtime errors. Industrial avionics software with more than 500.000 lines of code has been successfully analyzed with zero false alarms on a PC in a few hours.

For all tools, Qualification Support Kits (QSK) and Qualification Software Life Cycle Data reports (QSLCD) are available.

For more news from Avionics Europe, visit http://www.avionics-intelligence.com/avionics-europe.html.

Easily post a comment below using your Linkedin, Twitter, Google or Facebook account.

Featured Slideshows

Insight into UPS Flight 1354

The aerospace community and larger public have turned their attentions once again to the National Transportation Safety Board (NTSB) in the U.S., as a "go-team" of 26 investigators strives to piece together the events that lead to the crash of UPS Flight 1354 on 14 Aug. 2013.

Enabling technologies: An open-source, two-seat aircraft

MakerPlane Inc., an open-source hardware and software organization, aims to revolutionize the aviation industry by enabling the use of low-cost digital manufacturing technologies to build aircraft quickly, safely, and at low cost.

Social Activity

Wire News provided by   


There is no current content available.

Most Popular Articles

All Access Sponsors

Download Our Free Apps



Follow Us On...

Avionics Article Archives

Click here for past articles