Download or read book RIACS WORKSHOP ON THE VERIFICATION AND VALIDATION OF AUTONOMOUS AND ADAPTIVE SYSTEMS NASA TM 2001 210927 DEC 6 2001 written by and published by . This book was released on 2002 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems written by Charles Pecheur and published by . This book was released on 2001 with total page 12 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Riacs Workshop on the Verification and Validation of Autonomous and Adaptive Systems NASA written by and published by . This book was released on 1998 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Verification and Validation of Autonomy Software at NASA written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-06-16 with total page 32 pages. Available in PDF, EPUB and Kindle. Book excerpt: Autonomous software holds the promise of new operation possibilities, easier design and development and lower operating costs. However, as those system close control loops and arbitrate resources on board with specialized reasoning, the range of possible situations becomes very large and uncontrollable from the outside, making conventional scenario-based testing very inefficient. Analytic verification and validation (V&V) techniques, and model checking in particular, can provide significant help for designing autonomous systems in a more efficient and reliable manner, by providing a better coverage and allowing early error detection. This article discusses the general issue of V&V of autonomy software, with an emphasis towards model-based autonomy, model-checking techniques and concrete experiments at NASA. Pecheur, Charles Ames Research Center NASA/TM-2000-209602, A-00V0022, NAS 1.15:209602
Download or read book Verification and Validation of Autonomy Software at NASA written by Charles Pecheur and published by . This book was released on 2000 with total page 28 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book TECHNIQUE FOR VERY HIGH ORDER NONLINEAR SIMULATION AND VALIDATION NASA TM 2001 210985 DEC 6 2001 written by and published by . This book was released on 2002 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: