Verification and validation of autonomous systems

M. G. Hinchey, J. L. Rash, C. A. Rouff

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publication26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages136-144
Number of pages9
ISBN (Electronic)0769514561, 9780769514567
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001 - Greenbelt, United States
Duration: 27 Nov 200129 Nov 2001

Publication series

Name26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001

Conference

Conference26th Annual NASA Goddard Software Engineering Workshop, IEEE/NASA SEW 2001
Country/TerritoryUnited States
CityGreenbelt
Period27/11/0129/11/01

Fingerprint

Dive into the research topics of 'Verification and validation of autonomous systems'. Together they form a unique fingerprint.

Cite this