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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A robust compositional architecture for autonomous systems


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

    Published in:

    Publication date :

    2006-01-01


    Size :

    409801 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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