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.
Each QSK consists of two major parts that depend on one another: a Report Package and a Test Package.
The reports are generated in HTML, enabling easy integration into your certification 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 compiler switches that you use to generate the executables analyzed by the tool.
The evaluation result can be printed and attached to your certification document.
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.
All QSKs can also be easily extended with your own test cases to cover your operational environment.
The base version of a QSK performs checks on test cases created with a “generic” C compiler, e.g. some reasonably common version of GCC. Typically, this is sufficient for certification.
The certification 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 question. 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)|
Tasking VX 2.4r1
|IBM PPC750||DiabData 4.4|
|TriCore||HighTec GCC 220.127.116.11|
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.
In addition to QSKs, a QSLCD Report is available that describes the entire development process of aiT and covers all verification and quality-assurance activities on AbsInt’s side. A “sneak preview” version of the Report is available.
aiT is also available as an integral part of the SCADE development environment, which is DO-178B and DO-178C 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.