Tools for DO-330
Listed tools whose cited public page names this framework. Read the DO-330 explainer first. Related reading is on the articles index.
-
Ansys SCADE Suite
Model-based development environment for critical embedded software. KCG C/Ada code generator is qualified as a development tool for DO-178B up to Level A and DO-178C/DO-330 at TQL-1. Avionics and Flight Controls named. Not a neural-network verifier.
-
MathWorks DO Qualification Kit
Documentation, test cases and procedures to qualify supported Simulink and Polyspace tools for DO-178C, DO-278A, DO-254 and DO-330. The FAQ says the kit does not prequalify tools; qualification is project-specific.
-
Perforce QAC
Static analyzer for C, C++ and Rust (formerly Helix QAC). TÜV SÜD certified for ISO 26262 (automotive) up to ASIL D, IEC 61508 (general industry) up to SIL 4, and IEC 62304 (medical devices) up to Software Safety Class C. Also names a DO-330 pack for DO-178C. Not a neural-network verifier.
Official documents and working-group pages
These are the primary public pages we cite for DO-330. They are not directory listings and are not endorsements.
- DO-330 - Software Tool Qualification Considerations (product page) - RTCA
- FAS Topic Paper FTP1055: tool qualification - RTCA
- AC 20-115D - Airborne Software Development Assurance Using EUROCAE ED-12( ) and RTCA DO-178( ) - FAA
- Roadmap for Artificial Intelligence Safety Assurance, Version I - FAA
- DO-178() Software Standards Documents & Training - RTCA
Related articles
Questions
Why are there so few commercial tools tagged for DO-330?
We only tag a tool when the cited public page names this framework (or, for SAE G-34, EUROCAE WG-114, ED-324 or ARP6983). We do not infer support from a related aviation standard.
Where are the official DO-330 documents?
The official documents and working-group pages are listed on this page and on the DO-330 explainer.