This paper presents a runtime assurance (RTA) framework for an unmanned aerospace application. RTA systems hold the promise of protecting feedback systems that contain advanced or experimental elements that cannot be completely tested at design time to their required levels of assurance. This inability of fully trusting such advanced systems is due to their inherent complexity and that current analysis, verification, and validation protocols cannot address such complexity. The necessary structure of RTA frameworks for multilevel interacting feedback systems is investigated. A challenge problem is constructed for a fleet of unmanned aircraft systems performing complex missions. The complete study involves integrating RTA systems for the inner-loop control, outer-loop guidance, vehicle flight management, and runtime mission planning elements. The RTA interactions between these feedback levels are explored in this effort. General required RTA checks are presented and the critical reversionary switching conditions defined. More detailed system design is presented for the outer-loop guidance feedback level.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime Assurance for Autonomous Aerospace Systems


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2020-09-21


    Format / Umfang :

    13 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Runtime Assurance for Autonomous Driving with Neural Reachability

    Bogomolov, Sergiy / Hekal, Abdelrahman / Hoxha, Bardh et al. | IEEE | 2022


    The Introduction of Software Runtime Protection for Autonomous Aerospace Systems

    Schierman, John D. / DeVore, Michael / Richards, Nathan D. et al. | AIAA | 2017


    The Introduction of Software Runtime Protection for Autonomous Aerospace Systems (AIAA 2017-0560)

    Schierman, John D. / DeVore, Michael / Richards, Nathan D. et al. | British Library Conference Proceedings | 2017


    Certifiable Runtime Assurance of Distributed Real-Time Systems

    Chaki, Sagar / de Niz, Dionisio | AIAA | 2017


    Runtime Assurance for Distributed Avionics Architecture

    Ghori, Salman / Khamvilai, Thanakorn / Feron, Eric et al. | IEEE | 2022