Riacs Workshop On The Verification And Validation Of Autonomous And Adaptive Systems Nasa Tm 2001 210927 Dec 6 2001
Download Riacs Workshop On The Verification And Validation Of Autonomous And Adaptive Systems Nasa Tm 2001 210927 Dec 6 2001 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Riacs Workshop On The Verification And Validation Of Autonomous And Adaptive Systems Nasa Tm 2001 210927 Dec 6 2001 book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems
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.