This paper presents a three year project (FY99 to FY01) on the verification and validation of model based autonomous systems. The topics include: 1) Project Profile; 2) Model-Based Autonomy; 3) The Livingstone MIR; 4) MPL2SMV; 5) Livingstone to SMV Translation; 6) Symbolic Model Checking; 7) From Livingstone Models to SMV Models; 8) Application In-Situ Propellant Production; 9) Closed-Loop Verification Principle; 10) Livingstone PathFinder (LPF); 11) Publications and Presentations; and 12) Future Directions. This paper is presented in viewgraph form.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification and Validation of Model-Based Autonomous Systems


    Contributors:

    Conference:

    1st Annual NASA Office of Safety and Mission Assurance Software Assurance Symposium ; 2001 ; Morgantown, WV, United States


    Publication date :

    2001-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English





    Model-based Validation and Verification of Autonomous Networked Vehicles

    Sapronov, L. / Bose, P. / IEEE | British Library Conference Proceedings | 2005


    Optimising a Validation and Verification Strategy for Autonomous Software Systems

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



    Verification and Validation of Autonomous Rendezvous Systems in the Terminal Phase

    Wang, W. / Menon, P. / Bates, D. et al. | British Library Conference Proceedings | 2012