TASKING Compiler Qualification Kit
The TASKING compiler qualification kit provides tool-specific evidence required to support the tool qualification methods: “increased confidence from use” and “validation of the software tool.” This kit includes:
This manual describes how to configure and use the toolset for safety-related projects, including recommended use cases and mitigation strategies for potential errors.
Defect reports & mitigations
Malfunctions reported by customers or revealed through TASKING internal testing including issues found after the release of the toolset are published together with a safety assessment, safeguards, avoidance or workaround measures for the issues.
Test results produced by the Perennial C Compiler Validation Suite (CVSA) test suite – the most comprehensive and thorough C compiler conformance validation suite available – demonstrate conformance to the ISO C99 language standard ISO/IEC 9899:1999.
Development process, usage and release history
The software tool release history, including issues fixed and the tool's usage for the development of safety relevant software, is documented. Additionally the quality control and verification process is described.
TASKING Compiler Qualification Services
TASKING compiler validation services are based on guidance provided by the standard “DO-330 – Software Tool Qualification Considerations.” Specific guidance is provided for the qualification of commercial-off-the-shelf (COTS) software tools – such as a TASKING toolset – where the qualification activities are jointly performed by the “tool developer” and the “tool user.”
A compiler qualification project is split into two phases:
The necessity for qualification is determined and a tool validation plan is created. This plan is largely influenced by the customer's software development processes and the use cases of the toolset. Subsequently the tool validation plan is supplied to the certification authority to reach agreement about whether the proposed V&V efforts will lead to certification.
The tool validation plan is executed and the validation results are documented in the tool validation report and the tool safety manual. This phase ends once certification credit has been obtained.