This webinar will present techniques for achieving trusted autonomous operations that are being pioneered on the NASA Lunar Gateway Vehicle System Manager (VSM). The challenges of achieving trusted autonomy faced by the VSM project are similar to challenges in underwater autonomous systems. The webinar will describe the overall approach to verification and present in detail the use of design-time (development) assume-guarantee contracts using model checking and runtime (operational) assume-guarantee contracts. The webinar will conclude with a summary of lessons learned to date and future challenges.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Trustworthy Autonomy for Gateway Vehicle System Manager


    Beteiligte:
    James B. Dabney (Autor:in) / Pavan Rajagopal (Autor:in) / Julia M. Badger (Autor:in)

    Kongress:

    Society for Underwater Technology Webinar ; 2023 ; Virtual, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Trustworthy Autonomy for Gateway Vehicle System Manager

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2023


    Traveler Trustworthy Autonomy

    Skoog, Mark A. | NTRS | 2016


    Traveler Trustworthy Autonomy

    Skoog, Mark | NTRS | 2016


    Traveler: Trustworthy Autonomy

    M. A. Skoog | NTIS | 2016


    Traveler: Trustworthy Autonomy

    Skoog, Mark A. | NTRS | 2016