aiqbench analysis
This research proposes a formal engineering method to verify the Operational Design Domain (ODD) coverage for AI systems in safety-critical aviation contexts, addressing scalability issues in high-dimensional parameter spaces. By integrating parameter discretization and criticality-based dimension reduction, the work enables compliance with EASA certification standards while advancing Safety-by-Design principles.
From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems
arXiv:2604.02198v2 Announce Type: replace-cross Abstract: While Artificial Intelligence (AI) offers transformative potential for operational performance, its deployment in safety-critical domains such as aviation requires strict adherence to rigorous certification standards. Current EASA guidelines mandate demonstrating complete coverage of the AI/ML constituent's Operational Design Domain (ODD) -- a requirement that demands proof that no critical gaps exist within defined operational boundaries. However, as systems operate within high-dimensional parameter spaces, existing methods struggle to provide the scalability and formal grounding necessary to satisfy the completeness criterion. Currently, no standardized engineering method exists to bridge the gap between abstract ODD definitions and verifiable evidence. This paper addresses this void by proposing a method that integrates parameter discretization, constraint-based filtering, and criticality-based dimension reduction into a structured, multi-step ODD coverage verification process. Grounded in gathered simulation data from prior research on AI-based mid-air collision avoidance research, this work demonstrates a systematic engineering approach to defining and achieving coverage metrics that satisfy EASA's demand for completeness. Ultimately, this method enables the validation of ODD coverage in higher dimensions, advancing a Safety-by-Design approach while complying with EASA's standards.
Abstract:While Artificial Intelligence (AI) offers transformative potential for operational performance, its deployment in safety-critical domains such as aviation requires strict adherence to rigorous certification standards. Current EASA guidelines mandate demonstrating complete coverage of the AI/ML constituent's Operational Design Domain (ODD) -- a requirement that demands proof that no critical gaps exist within defined operational boundaries. However, as systems operate within high-dimensional parameter spaces, existing methods struggle to provide the scalability and formal grounding necessary to satisfy the completeness criterion. Currently, no standardized engineering method exists to bridge the gap between abstract ODD definitions and verifiable evidence. This paper addresses this void by proposing a method that integrates parameter discretization, constraint-based filtering, and criticality-based dimension reduction into a structured, multi-step ODD coverage verification process. Grounded in gathered simulation data from prior research on AI-based mid-air collision avoidance research, this work demonstrates a systematic engineering approach to defining and achieving coverage metrics that satisfy EASA's demand for completeness. Ultimately, this method enables the validation of ODD coverage in higher dimensions, advancing a Safety-by-Design approach while complying with EASA's standards.
Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
arXiv:2604.02198 [cs.AI]
(or arXiv:2604.02198v2 [cs.AI] for this version)
https://doi.org/10.48550/arXiv.2604.02198 Focus to learn more arXiv-issued DOI via DataCite
Computer Safety, Reliability, and Security. SAFECOMP 2026. Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-032-34867-8_10 Focus to learn more DOI(s) linking to related resources
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 294 words
Related coverage

AI and Quantum Computing Briefing
livetradingnews.com · Aug 4, 2026
Coverage-driven alignment - What ‘Teaching Claude Why’ can borrow from AV verification
LessWrong · Jun 8, 2026

AI in healthcare: applications and best practices
Databricks · Jul 24, 2026
[AINews] High Taste Testers Ep. 1
Latent Space · Oct 17, 2026