Qualification Support Kits for aiT

Your usage of aiT can be qualified according to ISO 26262, DO-178B/C, IEC-61508, and other safety standards. We offer special Qualification Support Kits (QSKs) that simplify and automate the qualification process.

Selecting QSKs to run
Qualification report

Each QSK consists of two major parts that depend on one another: a Report Package and a Test Package.

The QSK Report Package

  1. Operational Requirements Report, listing all functional require­ments for aiT.
  2. Verification Test Plan, describing one or several test cases for each requirement 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 aiT. For example, you have to specify the com­piler switches that you use to gene­rate the execut­ables ana­lyzed by the tool.

The QSK Test Package

  1. All test cases listed in the Verification Test Plan.
  2. A framework of scripts to execute all test cases and evaluate the results.

The evaluation result can be printed and attached to your cer­tification document.

Easy to use

Each QSK is delivered as a single ZIP archive that doesn’t need to be unpacked. You can run one or several QSKs directly from within aiT, both in GUI and batch mode. All tests are carried out fully automatically, and the results are then displayed and/or saved to a report file specified by you.

Custom test cases

All QSKs can also be easily extended with your own test cases to cover your operational environment.

Generic and compiler-specific QSKs

The base version of a QSK performs checks on test cases created with a “gene­ric” C compiler, e.g. some reasonably common version of GCC. Typically, this is sufficient for certification.

The certi­fi­cation authority or the nature of your application may also dictate that the qualification be carried out on test cases compiled with the exact same version of the exact same compiler that you use. For this, a number of compiler-specific QSKs exist — optional add-ons to the base QSKs that offer supplemental test cases compiled with the compiler in ques­tion. These provide additional confidence that aiT correctly handles code patterns specific to that compiler, e.g. when automatically resolving calls or determining loop iteration counts.


The following QSKs are available at a moment’s notice:

Base QSK (generic) Add-on QSKs (compiler-specific)
ARM TI 4.9.1
TI 20.2.1.LTS
GCC 4.9.3
C16x Tasking 8.8r1
Tasking VX 2.4r1
LEON3 GCC 3.4.4
M68020 GCC 4.2.1
MPC5xx DiabData 4.4
e200 GCC 4.1.2
GHS 2019.1.4
SCORE 3.7.1
e300 DiabData 4.4
MPC755 DiabData 4.4
IBM PPC750 DiabData 4.4
TriCore HighTec GCC
Tasking VX 6.2r2p3
Tasking VX 6.3r1p2

QSKs for other target processors have to be developed on request. This typically takes a few weeks depending on our workload. Compiler-specific add-ons may take longer, depending on the availability of the specific compiler version requested. Please contact us with any questions.

Qualification Software Life Cycle Data (QSLCD) Report

In addition to the Report and Test packages, the QSK also includes a QSLCD Report that describes the entire devel­opment process of aiT and covers all veri­fica­tion and quality-assurance activities on AbsInt’s side.