• LDRA (AI and machine learning capability)

  LDRA · Commercial · Safety engineering

  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.

  • Aerospace & aviation
  • Other safety-critical
  • Automotive
  • Medical devices
  • Industrial machinery and robotics
  • EASA AI Concept Paper

• MathWorks AI Verification Library for Deep Learning Toolbox

  MathWorks · Commercial · AI assurance & verification

  Formal robustness verification, output bounds, adversarial examples and out-of-distribution detection for MATLAB, ONNX and PyTorch networks, with airborne runway-sign and ACAS Xu worked examples.

  • Aerospace & aviation
  • Other safety-critical
  • DO-178C / DO-330
  • EASA AI Concept Paper
  • ARP4754B

• Saimple

  Numalis · Commercial · AI assurance & verification

  Static analyzer that uses abstract interpretation to assess neural-network robustness, citing ISO/IEC 24029. Sold as SaaS and on-premises. Numalis names Article 15 explainability reports and EASA MLEAP work.

  • Aerospace & aviation
  • Defense & national security
  • Other safety-critical
  • EU AI Act
  • EASA AI Concept Paper

Official documents and working-group pages

These are the primary public pages we cite for EASA AI Concept Paper. They are not directory listings and are not endorsements.

Sources last checked on 14 October 2026.

1. EASA Artificial Intelligence Concept Paper Issue 2 - Guidance for Level 1 & 2 machine-learning applications - EASA
2. EASA Concept Paper Issue 02 (PDF) - EASA
3. Machine Learning Application Approval (MLEAP) - EASA
4. FAA Roadmap on Artificial Intelligence Safety (REDAC presentation, Fall 2024) - FAA
5. EASA publishes Artificial Intelligence Concept Paper Issue 2 - EASA
6. EASA releases latest issue of its Concept Paper on Artificial Intelligence for comment - EASA
7. EASA Concept Paper proposed Issue 03 (PDF) - EASA
8. NPA 2025-07 - Artificial intelligence trustworthiness - EASA
9. AI Act Service Desk: Article 108 - European Commission

Related articles

• ARP4754B FDAL and IDAL when the function is machine learning
• DO-200B aeronautical data versus ML training sets
• EASA AI Concept Paper Issue 2 explained for suppliers
• Prompt guardrails versus airborne runtime assurance
• An AI assurance glossary for aerospace and defense
• An AI audit evidence checklist for regulated programs
• AI in MRO and predictive maintenance: regulatory considerations (FAA/EASA official material)
• Building an AI assurance case (GSN/AMLAS) for certification
• Data assurance for ML in avionics: EASA learning assurance
• DO-178C and machine learning: where the gaps are
• DO-330 tool qualification for ML development and verification toolchains
• Does the FAA certify AI today? Current status
• EASA AI Concept Paper levels explained
• EU AI Act general-purpose AI model obligations
• EU AI Act obligations for aerospace suppliers outside the EU
• EU AI Act scope for defense and aviation: what is in, what is out, and the new dates
• FAA and EASA AI certification timelines compared
• Formal verification of neural networks: what's usable today
• Human-machine teaming in DoD and NATO guidance
• ISO/IEC 24029 neural-network robustness is not an aviation AMC
• How to map an AI model to DO-178C / DO-330 tool qualification
• Runtime assurance and simplex architectures for ML in flight
• SAE G-34 / ARP6983 status: what is published versus still draft

Questions

Why are there so few commercial tools tagged for EASA AI Concept Paper?

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 EASA AI Concept Paper documents?

The official documents and working-group pages are listed on this page and on the EASA AI Concept Paper explainer.

← All tools · EASA AI Concept Paper explainer · Updates