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.
Verification and Validation of Model-Based Autonomous Systems
1st Annual NASA Office of Safety and Mission Assurance Software Assurance Symposium ; 2001 ; Morgantown, WV, United States
2001-01-01
Preprint
No indication
English
Model-based Validation and Verification of Autonomous Networked Vehicles
British Library Conference Proceedings | 2005
|Optimising a Validation and Verification Strategy for Autonomous Software Systems
British Library Conference Proceedings | 2006
|Verification and Validation Framework for Autonomous Rendezvous Systems in Terminal Phase
Online Contents | 2015
|Verification and Validation of Autonomous Rendezvous Systems in the Terminal Phase
British Library Conference Proceedings | 2012
|