TY - GEN
T1 - Verification and validation of autonomous systems
AU - Hinchey, M. G.
AU - Rash, J. L.
AU - Rouff, C. A.
N1 - Publisher Copyright:
© 2001 IEEE.
PY - 2001
Y1 - 2001
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84960395253&partnerID=8YFLogxK
U2 - 10.1109/SEW.2001.992667
DO - 10.1109/SEW.2001.992667
M3 - Conference contribution
AN - SCOPUS:84960395253
T3 - 26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001
SP - 136
EP - 144
BT - 26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001
Y2 - 27 November 2001 through 29 November 2001
ER -