Space exploration applications can benefit greatly from autonomous systems. Great distances, limited communications and high costs make direct operations impossible while mandating operations reliability and efficiency beyond what traditional commanding can provide. Autonomous systems can improve reliability and enhance spacecraft capability significantly. However, there is reluctance to utilizing autonomous systems. In part, this is due to general hesitation about new technologies, but a more tangible concern is the reliability and predictability of autonomous software. In this paper, we describe ongoing work aimed at increasing robustness and predictability of autonomous software, with the ultimate goal of building trust in such systems. The work combines state-of-the-art technologies and capabilities in autonomous systems with advanced validation and synthesis techniques. The focus of this paper is on the autonomous system architecture that has been defined, and on how it enables the application of validation techniques for resulting autonomous systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A robust compositional architecture for autonomous systems


    Beteiligte:
    Brat, G. (Autor:in) / Denney, E. (Autor:in) / Farrell, K. (Autor:in) / Giannakopoulou, D. (Autor:in) / Jonsson, A. (Autor:in) / Frank, J. (Autor:in) / Boddy, M. (Autor:in) / Carpenter, T. (Autor:in) / Estlin, T. (Autor:in) / Pivtoraiko, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2006-01-01


    Format / Umfang :

    409801 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Architecture of autonomous systems

    Dikshit, Piyush / Guimaraes, Katia / Ramamurthy, Maya et al. | NTRS | 1989


    Optimization-Based Robust Architecture Design for Autonomous Driving System

    Siddiqi, Afreen / Collin, Anne / Rebentisch, Eric et al. | SAE Technical Papers | 2019




    ROBUST PNT FOR AUTONOMOUS SYSTEMS

    Leishman, Robert C. | British Library Conference Proceedings | 2020