| Vendor / publisher | MathWorks | LDRA |
| Type | Commercial · AI assurance & verification | Commercial · Safety engineering |
| Official site | https://www.mathworks.com/products/do-178.html | https://ldra.com/capabilities/artificial-intelligence-and-machine-learning-capability/ |
| Industries (cited page) | Aerospace & aviation | Aerospace & aviation, Other safety-critical, Automotive, Medical devices, Industrial machinery and robotics |
| Frameworks named on cited source | DO-178C / DO-330, DO-330 | EASA AI Concept Paper |
| Open source (OSI license on official repo) | Not an OSI-licensed official repo on this listing | Not an OSI-licensed official repo on this listing |
| Summary (from listing) | 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. | LDRA AI/ML capability page covering test generation, change-impact analysis and AI/ML in safety-critical sectors. The aviation section names EASA guidance for Level 1 and 2 machine-learning applications. Not a neural-network verifier. |
| Last verified | 2026-10-14 | 2026-10-14 |
| Cited coverage (counts only) | Maps to 5 DO-178C / related aerospace guidance requirements — see which with Pro Maps to 2 DO-330 requirements — see which with Pro | Maps to 1 EASA AI Concept Paper objective — see which with Pro |
| Analyst assessments (counts only) | Analyst assessment: 1 FAA AI Roadmap requirement — see which with Pro | Analyst assessment: 1 NIST AI RMF function or subcategory — see which with Pro Analyst assessment: 1 EASA AI Concept Paper objective — see which with Pro |