Swarms of intelligent rovers and spacecraft are being considered for a number of future NASA missions. These missions will provide MSA 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 artificial 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 cataloging 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
1st International Symposium on Leveraging Applications of Formal Methods ; 2004 ; Paphos, Greece
2004-01-01
Preprint
No indication
English
Formal Methods for Autonomic and Swarm-Based Systems
NTIS | 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
|