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

fYear

2001

fDate

2001

Firstpage

136

Lastpage

144

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard

Conference_Location

Greenbelt, MD

Print_ISBN

0-7695-1456-1

Type

conf

DOI

10.1109/SEW.2001.992667

Filename

992667