Swarms of intelligent rovers and spacecraft are being considered for a number of future NASA missions. These missions will provide NASA scientist and explorers greater flexibility and the chance to gather more science than traditional single spacecraft missions. These swarms of spacecraft are intended to operate for large periods of time without contact with the Earth. To do this, they must be highly autonomous, have autonomic properties and utilize sophisticated artificia1 intelligence. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm type of missions NASA is considering. This mission will explore the asteroid belt using an insect colony analogy cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. Verifying such a system would be a huge task. This paper discusses ongoing work to develop a formal method for verifying swarm and autonomic systems.
Formal Methods for Autonomic and Swarm-Based Systems
2004
10 pages
Report
No indication
English
Formal Methods for Autonomic and Swarm-based Systems
NTRS | 2004
|A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Tema Archive | 2010
|Springer Verlag | 2009
|Towards a Formal Approach to Swarm Technology
AIAA | 2004
|