Towards a Hybrid Formal Method for Swarm-Based Exploration Missions
- 1 January 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 253-264
- https://doi.org/10.1109/sew.2005.45
Abstract
NASA is investigating the use of swarms of robotic vehicles for future space exploration missions. Such swarms offer many advantages of traditional, single spacecraft, missions. Intelligent swarms offer potential for self-management and survivability, and their emergent properties make such swarms potentially very powerful. However, they are significantly more difficult to design, and ensuring that proper behaviors will emerge is a complex task. NASA's FAST project is investigating the use of formal approaches to the specification and verification of such systems. Using ANTS, a NASA concept mission, as a case study, multiple formal methods were evaluated to determine their effectiveness in modeling and ensuring desired swarm behavior. We discuss this evaluation and propose a hybrid formal method for use in the development of future NASA intelligent swarmsKeywords
This publication has 8 references indexed in Scilit:
- Autonomous and autonomic systems: a paradigm for future space exploration missionsIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2006
- NASA's swarm missions: the challenge of building autonomous softwareIT Professional, 2004
- Verification of emergent behaviors in swarm-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Formal approaches to intelligent swarmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Using artificial physics to control agentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Swarm SmartsScientific American, 2000
- csp2B: A Practical Approach to Combining CSP and BPublished by Springer Nature ,1999
- X-machines as a basis for dynamic system specificationSoftware Engineering Journal, 1988