Tel. +31­ 345 545535
Coming soon...
Who we work with
What's going on
Something to read
Who we are
Where we are
You are on the following page: Products > Safety Critical & Certified Systems > Formal Verification > Tool Qualification Package Nederlands | French

Tool Qualification Package

Qualification support
Your usage of our tools can be qualified according to ISO 26262, DO-178B/C, IEC-61508, and other safety standards. The qualifi­cation process can be automated to a large extent using our Qualification Support Kits. Addition­ally, our Qualification Software Life Cycle Data Reports provide details about our own devel­op­ment processes.

Qualification Support Kits
We offer Qualification Support Kits (QSKs) that simplify the qual­ification pro­cess considerably. These QSKs are quite popular with our customers, notably in the auto­motive and avionics industries.

Each QSK contains two major parts which depend on one another: a Report Package and a Test Package.

  • The QSK Report Package

The Report Package consists of an Operational Requirements Report and a Veri­fication Test Plan. The Requirements Report lists all functional require­ments 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, enabling easy integration into your cer­tification 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 specify the com­piler switches used to gene­rate the execut­ables ana­lyzed by the tool.

  • The QSK Test Package

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 cer­tification document.

Qualification Support Kits can be easily extended with your own test cases to also cover your operational environment.

QSKs are currently available for

Generic QSKs perform checks on call-graph and control-flow-graph level, on ELF executables created with a gene­ric C compiler. Compiler-specific QSKs are optional add-ons that offer additional test cases compiled with the specific compiler in ques­tion.

Generic QSKs are typically sufficient for certification, but compiler-specific QSKs can become mandatory depending on the certi­fi­cation authority and the nature of your application.

Several other QSKs are currently under development. Other processors and compilers can be covered on request. Contact us for further information.

Qualification Software Life Cycle Data (QSLCD) Reports
In addition to QSKs, QSLCD Reports are available that document AbsInt's devel­op­ment pro­cess­es. The reports describe the entire devel­opment process of aiT, StackAnalyzer, Astrée, and RuleChecker, for all target processors and compilers where applicable, and including all veri­fica­tion and quality assurance activities.

"Sneak preview" versions of QSLCD Reports are available on request.

Integration into SCADE

aiT and StackAnalyzer are also available as an integral part of the SCADE development envi­ronment, which is DO-178B qualified up to level A for Military and Aerospace Indus­tries, IEC 61508 certi­fied at SIL 3 by TÜV for Heavy Equipment and Energy, and EN 50128 certified at SIL 4 by TÜV for Rail Transportation.

How to buy:

Please do not hesitate to contact Gerard Fianen at INDES-IDS BV to discuss your formal S/W verification requirments






INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.