Tool qualification suite compliant with DO-330, ISO-26262
Applicable to
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
What does software verification tool qualification consist of?
We offer the possibility of qualifying proprietary or commercial verification tools. We subject the tool to a multitude of test cases and provide a detailed report with the results and their analysis. In addition to the test cases, we offer the possibility of adding, customizing, or eliminating cases according to the client's needs. Along with the test suite, qualification documentation is provided.
We establish close contact with our clients and guide them through the qualification process. Our support in the execution of test cases stands out.
What we offer
Creation of
custom test cases
We study the functionality of the tool in which the client is interested and design the relevant test cases.
We offer a flexible tool in which it is possible to easily incorporate new customized test cases.
We provide qualification documentation
Includes two main documents:
- Tool Operational Requirements (TOR), which describe the requirements that the tool must meet
- Tool Operational Verification & Validation Cases and Procedures (TOVVCP), which includes a detailed description of the test cases.
Certification according to different standards and programming languages
We are familiar with certification standards such as MISRA-C 2004, 2012 and 2023, MISRA-C++ 2023 or ICAO ADS-B.
We have worked with tools based on C, C++ and LUA.
Support and consulting service
We offer support regarding the start-up and use of our tool. In addition, we offer advice on the correct development of the tool to ensure its suitability to the standard
Maintenance during development
We support our clients during the development of their proprietary tool, providing consecutive versions of the qualification suite to adapt to their needs at all times.
How we do it
Deliverables
Tool Qualification Plan (TQP)
Tool Qualification Plan
Tool Operational Requirements (TOR)
Specification of operational requirements
Tool Operational Verification and Validation Cases and Procedures (TOVVCP)
- Test case specification
- Configuration files including the test cases: allow adding new test cases
The qualification suite
Python-script based tool that executes test cases and generates various detailed reports of the results
- Python code
- Configuration files
Tool Configuration Index
Tool identification and configuration
Tool Accomplishment Summary
Differences between the qualification plan and the qualification performed
Commercial static source code analysis tools
We have qualified various commercial tools, such as PC-lint Plus, according to the following standards:
Available!
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Network traffic monitoring tools
We have qualified several proprietary tools according to the following standards:
Available! | Proprietary tool
Monitoring of ADS-B messages. We support downlink format messages DF-0 to DF-24 from ICAO (Annex 10, Volume 4).
Available! | Business tool
ASTERIX protocol, in the Wireshark tool.
ADS-B message monitoring. Support for the following categories:
- CAT 001 (version 1.4)
- CAT 002 (version 1.1)
- CAT 004 (version 1.13)
- CAT 008 (version 1.3)
- CAT 010 (version 1.1, 4)
- CAT 017 (version 1.3)
- CAT 018 (version 1.8)
- CAT 021 (version 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 023 (version 1.2, 1.3)
- CAT 025 (version 1.5)
- CAT 034 (version 1.29)
- CAT 048 (version 1.31)
- CAT 062 (version 1.20)
- CAT 063 (version 1.6)
- CAT 065 (version 1.6)
- CAT 240 (version 1.3)
- CAT 247 (version 1.3)
Current projects
- SnmpB tool, an SNMP MIB explorer with a graphical interface.
- Cppcheck, a static code analysis tool.
