Qualification support

Usage of our tools can be qualified according to ISO 26262, DO-178B/C, IEC-61508, and other safety standards.

Qualification Support Kits

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

Each QSK contains three major parts: a Report Package, a Test Package, and a QSLCD Report.

Availability

QSKs are currently available for

WCET analysis Stack usage analysis
generic compiler-specific generic compiler-specific
ARM TI 4.9.1
TI 20.2.1.LTS
GCC 4.9.3
Keil 5.02.0.28
TI 4.9.1
GCC 4.7.4
GCC 4.9.3
GCC 4.9.4
GHS 2019.1.4
Keil 5.02.0.28
Keil 3.1.0.939
C16x Tasking 8.8r1
Tasking VX 2.4r1
Tasking VX 2.4r1
Tasking VX 3.1r2
C28x
dsPIC
i386
LEON3 GCC 3.4.4
M68020 GCC 4.2.1 GCC 4.2.1
MPC5xx DiabData 4.4
DiabData 5.2.1.0
CodeWarrior 4.3
DiabData 4.4
Diab​Data 5.6.1.0
Diab​Data 5.8.0.0p4
Diab​Data 5.8.0.0p6
Diab​Data 5.9.4.8
GCC 3.3.2
GCC 3.4.4
GCC 4.1.2
GCC 4.3.3
GCC 4.9.3
GHS 5.2.4
SCORE 3.7.1
e200 GCC 4.1.2
GHS 2019.1.4
Diab​Data 5.8.0.0p6
Diab​Data 5.9.1.0
SCORE 3.7.1
e300 DiabData 4.4
MPC755 DiabData 4.4
Other MPCs
IBM PPC750 DiabData 4.4
TriCore HighTec GCC 3.4.5.1
V850 GHS 5.1.7d
x86 GCC 4.4.5
GCC 4.9.2
GCC 4.9.4

Generic QSKs perform checks on call-graph and control-flow-graph level using ELF executables created with a gene­ric C compiler of our choosing, e.g. a popular version of the GCC. Compiler-specific QSKs are optional add-ons that provide 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 nature of your application and the certi­fi­cation authority you have to report to.

More QSKs are under development at any given time, and other processors or compilers can always be covered on request. Contact us for further information.