The traditional process-based approaches to certifying aerospace digital systems are not sufficient to address the challenges associated with using Artificial Intelligence (AI) or Machine Learning (ML) techniques. To address this, agencies like the National Aeronautics and Space Administration (NASA) and the Federal Aviation Administration (FAA) are evaluating an alternative Means of Compliance (MoC) called the Overarching Properties (OP). We propose a novel foundation for the application of OPs to support the certification of complex aerospace digital systems consisting of AI/ML-based components. Our approach utilizes well-defined argument structures, that are justified by premises specialized to the AI/ML domain, to logically claim that an AI/ML-based component will possess the OPs. To motivate our work, we execute the design process of a Recorder Independent Power Supply (RIPS) system that provides several minutes of backup power to the data recorder when an aircraft loses access to its standard power supply.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study


    Beteiligte:
    Paul, Saswata (Autor:in) / Prince, Daniel (Autor:in) / Iyer, Naresh (Autor:in) / Durling, Michael (Autor:in) / Visnevski, Nikita (Autor:in) / Meng, Baoluo (Autor:in) / Varanasi, Sarat Chandra (Autor:in) / Siu, Kit (Autor:in) / McMillan, Craig (Autor:in) / Meiners, Mike (Autor:in)


    Erscheinungsdatum :

    2023-10-01


    Format / Umfang :

    1597034 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Overarching Properties as means of compliance: An industrial case study

    Daw, Zamira / Beecher, Scott / Holloway, Michael et al. | IEEE | 2021


    Capstone Avionics Certification

    Asay, A. | British Library Conference Proceedings | 2001



    Overarching Rotorcraft Commonality Assessment

    Ferrell, D. / McCarty, F. / Wills, T. et al. | British Library Conference Proceedings | 2000