For the integration of autonomy and machine learning in the next generation of systems for urban air mobility and unmanned aircraft, it needs to be shown that these functions can be integrated safely. Moreover, it must be shown that these systems can operate safely with these active machine-learning functions. One prerequisite is that the machine-learning function is only utilized when it is expected to operate safely within the specified environmental conditions. This paper shows a model-based approach for the definition of the Operational Design Domain (ODD). The ODD enables the formalisation of the expected environmental conditions during the operation and the system states. With the formal model, the ODD specification can then be transformed into a specification of a runtime monitoring language called RTLola. This enables the utilization of the RTLola runtime monitoring framework to check log files against violations of the ODD and, later, supervise the ODD during operation and in flight. The goal is to automate the supervision and make it more user-friendly. This is shown in two separate use cases, where an ODD model is created and then exported and transformed into a monitoring specification. The approach is validated with a set of log files from the use cases.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    From Operational Design Domain to Runtime Monitoring of AI-Based Aviation Systems


    Contributors:


    Publication date :

    2024-09-29


    Size :

    610492 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Scenario Coverage of Operational Design Domain for AI-Based Systems in Aviation

    Gupta, Siddhartha / Sprockhoff, Jasper / Durak, Umut | AIAA | 2025


    Automated scenario generation from Operational Design Domain model for testing AI-based systems in aviation

    Stefani, Thomas / Christensen, Johann Maximilian / Girija, Akshay Anilkumar et al. | Springer Verlag | 2025

    Free access


    AN AUTOMATED VEHICLE SAFETY CONCEPT BASED ON RUNTIME RESTRICTION OF THE OPERATIONAL DESIGN DOMAIN

    Colwell, Ian / Phan, Buu / Saleem, Shahwar et al. | British Library Conference Proceedings | 2018


    Operational Domain Metamodel for Testing AI Systems in Aviation

    Gupta, Siddhartha / Durak, Umut | AIAA | 2023