The long-term future of space exploration at NASA is dependent on the full exploitation of autonomous and adaptive systems: careful monitoring of missions from earth, as is the norm now, will be infeasible due to the sheer number of proposed missions and the communication lag for deep-space missions. Mission managers are however worried about the reliability of these more intelligent systems. The main focus of the workshop was to address these worries and hence we invited NASA engineers working on autonomous and adaptive systems and researchers interested in the verification and validation (V&V) of software systems. The dual purpose of the meeting was to: (1) make NASA engineers aware of the V&V techniques they could be using; and (2) make the V&V community aware of the complexity of the systems NASA is developing.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems


    Contributors:
    C. Pecheur (author) / W. Visser (author) / R. Simmons (author)

    Publication date :

    2001


    Size :

    8 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems

    Pecheur, Charles / Visser, Willem / Simmons, Reid | NTRS | 2001



    Optimising a Validation and Verification Strategy for Autonomous Software Systems

    Parsons, M. / Hunter, D. / Hide, A. et al. | British Library Conference Proceedings | 2006


    Validation & Verification of Intelligent and Adaptive Control Systems

    Tallant, G. S. / Hull, R. A. / Johnson, T. et al. | British Library Conference Proceedings | 2005


    Validation & verification of intelligent and adaptive control systems

    Crum, V.W. / Buffington, J.M. / Tallant, G.S. et al. | IEEE | 2004