Axivion
Tool Qualification Kit
For Axivion Static Code Analysis, Axivion Architecture Verification and Axivion for CUDA
Ideal for Safety Projects According to ISO 26262, IEC 61508, IEC 62304
Qualification of the analysis in your specific environment.
Axivion Tool Qualification Kit supports classification and qualification of your tool chain. It comprises prefabricated test suites (for HIS metrics, as well as the MISRA, AUTOSAR C++14, CUDA C++ Guidelines, CWE, C Secure Coding and CERT rules) with execution and results evaluation processes that can be automated.
It also includes tests to check and validate your architecture verification.
The Axivion Tool Qualification Kit can verify the suitability of Axivion Static Code Analysis, Axivion Architecture Verification and Axivion for CUDA in environments with functional safety requirements.
Integration Into Your CI / DevOps Pipeline
Axivion Tool Qualification Kit can be integrated into your CI process.
The technical automation of the validation tests allows you to repeat them efficiently after changes have been made, for instance in the form of updates or upgrades, in order to benefit from improvements and innovations, thus also allowing the suitability check to be repeated.
In this respect, the test driver provided carries out one or more tests for the relevant rule sets and C/C++ as well as CUDA C++ language versions, and reports the tests’ status.
Certified to Assure the Quality of Your Software
Axivion Tool Qualification Kit helps you to achieve the tool confidence level (TCL) required by ISO 26262, IEC 62304, IEC 61508, EN 50128 and EN 50657.
Axivion Static Code Analysis (SCA) has been certified by SGS-TÜV Saar GmbH for each of the above standards up to the highest respective safety integrity level. It is delivered with a safety manual, which describes the intended use of the solution in safety projects. The safety manual requires the use of Axivion Tool Qualification Kit while using the certified SCA-package.
