QUESTIONS? WE CAN HELP, CALL 613-215-3252, or EMAIL US NOW!

AbsInt 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.

 

Astrée Tool Qualification Support Kit
  • Automatic tool qualification by mouse click
  • For certifications according to ISO 26262, DO-178 B/C, etc.
  • Functional requirement definitions
  • Test cases and test procedures
  • Traceability matrix
  • Test suite execution framework
  • Tool lifecycle data
  • Includes 6 months technical support & maintenance
CompCert & Valex – Tool Qualification
  • QSK for CompCert
    • Qualification Support Kit for CompCert compiler
    • Includes 6 months technical support & maintenance
    • One license for one CPU family
  • QSK for Valex
    • Qualification Support Kit for Valex tool
    • Includes 6 months technical support & maintenance
    • One license for one CPU family
Tool Qualification Options for Binary Analyzers
  • Tool Qualification Support Kit (QSK)
    • Automatic tool qualification by mouse click
    • For certifications according to ISO 26262, DO-178 B/C, etc.
      • Functional requirement definitions
      • Test cases and test procedures
      • Traceability matrix
      • Test suite execution framework
    • Tool lifecycle data
    • Compiler-specific add-on packages available, too

For detailed options and pricing, please request a quote.

PURCHASE



Need a quote? Click here to access our
convenient online quotation form.



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 the following parts:

  • specification of the tool functional requirements
  • test cases and test procedures
  • requirements trace data (traceability matrix)
  • test suite and execution framework
  • tool lifecycle data

Tool functional requirements (TOR)

This part defines the tool functions and technical features which are stated as requirements to the tool behavior under normal operating conditions, and specifies the operational context and conditions in which the tool computes valid results, i.e. restrictions such as not supported hardware options or specific code constructs.

Test cases and procedures (TOVVCP)

The test cases demonstrate the correct functioning of all specified functional requirements. Test case definitions include the overall test setup and a detailed structural and functional description of each test case, i.e. how it works and what the expected result is.

Trace data (traceability matrix)

Each functional requirement and each test case is assigned a unique identifier, enabling a mapping to be realized over the so-called traceability matrix.

Test suite and execution framework

The test suite contains implementations of the test cases specified in the TOVVCP that are designed to show that the requirements described in the TOR are satisfied.

Each test case consists of one or several tool test runs and optionally, evaluation test runs. The output of test case execution constitutes the tool verification results. If all test cases pass, compliance with the TOR has been demonstrated.

Tool lifecycle data (QSLCD)

In addition to demonstrating that the tool operates correctly in the operation context of its user, safety standards often require evidence that the tool development process fulfills certain demands, e.g. with respect to quality assurance, traceability, requirement engineering and verification activities.

These topics are covered by documents which detail the tool development processes at AbsInt:

  • Software Development Plan
  • Software Configuration Management Plan
  • Software Quality Assurance Plan
  • Software Quality Assurance Records
  • Software Verification Plan
  • Software Verification Results
  • Compliance Certificate

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. The qualification results can be printed and attached to your cer­tification documents.

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.

Availability

Most QSKs are developed on customer request. The development time depends on the complexity of the architecture in question, the availability of the specific compiler version requested, and on our workload at the time.

The following QSKs have already been developed and are available at a moment’s notice:

Base QSK (generic)Add-on QSKs (compiler-specific)
ARMTI 4.9.1
TI 20.2.1.lts
GCC 4.9.3
KEIL 5.02.0.28
C16xTasking 8.8r1
Tasking VX 2.4r1
C28x
i386
LEON3GCC 3.4.4
M68020GCC 4.2.1
MPC5xxDiabData 4.4
DiabData 5.2.1.0
e200GCC 4.1.2
Diab​Data 5.9.1.0
Diab​Data 5.8.0.0p6
GHS 2019.1.4
SCORE 3.7.1
e300DiabData 4.4
MPC755DiabData 4.4
IBM PPC750DiabData 4.4
TriCoreHighTec GCC 3.4.5.1
Tasking VX 6.2r2p3
Tasking VX 6.3r1p2

Qualification Support Kit PDF

Relation to safety standards

Cancellation & No Refund Policy

Cancellation: You can cancel your subscription at any time. Please note that we do not provide credit, refunds or prorated billing for any licenses that are cancelled once purchased.

No Return/Refund: All sales are final, there are no refunds.