Title :
Verification and validation of autonomous systems
Author :
Hinchey, Michael G. ; Rash, James L. ; Rouff, Christopher A.
Author_Institution :
NASA Goddard Space Flight Center, Greenbelt, MD, USA
Abstract :
NASA is working on complex future missions that require cooperation between multiple satellites or rovers. To implement these systems, developers are proposing and using intelligent and autonomous systems. These autonomous missions are new to NASA, and the software development community is just learning to develop such systems. With these new systems, new verification and validation techniques must be used. Current techniques have been developed based on large monolithic systems. These techniques have worked well and reliably, but do not translate to the new autonomous systems that are highly parallel and nondeterministic
Keywords :
aerospace control; formal specification; formal verification; multi-agent systems; software agents; space vehicles; NASA; autonomous missions; autonomous systems; highly parallel systems; intelligent systems; nondeterministic systems; rovers; satellites; software development; validation techniques; verification techniques; Costs; Instruments; Intelligent systems; NASA; Programming; Satellites; Software systems; Space missions; Space technology; System testing;
Conference_Titel :
Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard
Conference_Location :
Greenbelt, MD
Print_ISBN :
0-7695-1456-1
DOI :
10.1109/SEW.2001.992667
