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.

Related Products

RR2P Removable Canister RAID System

Transportable data storage for mobile field use aboard planes, ships and ground transpo...

API DC Link Power Film Capacitors

High reliability DC link capacitors for power inverter applications which require super...

Light Curing Systems

Master Bond offers a large family of light curing products that cure upon exposure to a...

Related Companies

Innovative Integration

  Since 1988, Innovative Integration has grown to become one of the world's leading supplier...

Winchester Systems Inc

At its founding in 1981, Winchester Systems introduced its first 5 MB disk system for Intel devel...

API Technologies Corp

Who We Are API Technologies is a dominant technology provider of RF/microwave, microelectronics, ...
Wire News provided by   

 

Press Releases

Low Viscosity, One Part Cyanoacrylate Is Non-Toxic and Meets ISO 10993-5 Specifications

Master Bond MB250NT is widely used for a variety of applications ranging from repair to high speed pro...

Thermally Conductive, Two Component Epoxy Passes USP Class VI Tests and ISO 10993-5 Specifications

With biocompatibility and cytotoxicity certifications, Master Bond EP21AOLV-2Med is often selected for...

One Component, Snap Cure Epoxy Features High Strength Properties

Suitable for a variety of applications in the electronic, aerospace and OEM industries, Master Bond EP...

One Part Epoxy Resists up to 500°F and Meets NASA Low Outgassing Specifications

Master Bond Supreme 12AOHT-LO is a one component epoxy for a variety of bonding and sealing applicatio...

VICTORY Shared Processing, Fire Control Computer, and Switch for Ground Vehicles Introduced by Curtiss-Wright

Curtiss-Wright Corporation today announced that its Defense Solutions division has introduced a new fu...

CURTISS-WRIGHT CONGRATULATES NORTHROP GRUMMAN ON SUCCESSFUL FIRST FLIGHT OF SECOND MQ-4C TRITON UAS

Curtiss-Wright Corporation’s Defense Solutions division applauds Northrop Grumman Corporation (NYSE: N...

Curtiss-Wright’s New Rugged Mobile IP Router Subsystem Features an Integrated Cisco® 5915 ESR Router

Curtiss-Wright Corporation today announced that its Defense Solutions division, a Cisco® Systems Solut...

GE Announces First Sub-Credit Card-Sized Multi-Function High Definition (HD) Video Tracker

HUNTSVILLE, AL.— OCTOBER 13, 2014—GE’s Intelligent Platforms business today announced at AUSA (Octobe...

Most Popular Articles


All Access Sponsors


Follow Us On...