NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration SystemsNASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nan0 Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms.
Document ID
20060023320
Acquisition Source
Goddard Space Flight Center
Document Type
Reprint (Version printed in journal)
Authors
Rouff, Christopher A. (Science Applications International Corp. Greenbelt, MD, United States)
Hinchey, Michael G. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Truszkowski, Walter F. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Rash, James L. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Date Acquired
August 23, 2013
Publication Date
January 1, 2006
Subject Category
Lunar And Planetary Science And Exploration
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available