aiT, StackAnalyzer, and Astrée can be qualified according to DO-178B (up to level A) and ISO 26262. The qualification process can be automated to a large extent thanks to our Qualification Support Kits. Additionally, our Qualification Software Life Cycle Data Reports provide details about our development processes.
AbsInt offers Qualification Support Kits (QSKs) that support and simplify the qualification process. In the past, our QSKs have been successfully used by leading corporations in their DO-178B qualification process, especially in the avionics industry.
Each QSK contains two major parts which depend on each other: a Report Package and a Test Package.
The Report Package consists of an Operational Requirements Report and a Verification Test Plan. The Requirements Report lists all functional requirements of the tool to be qualified. For each requirement, the Verification Test Plan describes one or several test cases that should give confidence about the correct functional behavior of the tool.
The reports are generated in HTML format, enabling easy integration into your certification documents. Both reports are templates, so you need to edit a few things according to your usage of the tool. For example, you have to insert the compiler switches used to generate the executables analyzed by the tool.
The Test Package contains all test cases listed in the Verification Test Plan. This framework provides scripts to execute all test cases and evaluate the results. The evaluation result is printed so that you can attach it to your certification document.
Qualification Support Kits can be easily extended with your own test cases to also cover your operational environment.
QSKs are currently available for Astrée as well as for the following versions of aiT and StackAnalyzer:
|Processor/compiler||WCET analysis||Stack usage analysis|
Several other QSKs are currently under development. For further information, please contact us.
In addition to QSKs, QSLCD Reports are available that document AbsInt’s development processes. The reports describe the entire development process of aiT and StackAnalyzer, for all target processors and compilers, including all verification and quality assurance activities.
“Sneak preview” versions of QSLCD Reports are available on request.
aiT and StackAnalyzer are also an integral part of the SCADE development environment, which is DO-178B qualified up to level A for Military and Aerospace Industries, IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment and Energy, and EN 50128 certified at SIL 4 by TÜV for Rail Transportation.