TY - GEN
T1 - Towards a hybrid formal method for swarm-based exploration missions
AU - Rouff, Christopher A.
AU - Hinchey, Michael G.
AU - Rash, James L.
AU - Truszkowski, Walter F.
PY - 2005
Y1 - 2005
N2 - 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 swarms.
AB - 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 swarms.
KW - Formal Methods
KW - Swarm Technology
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=33646911193&partnerID=8YFLogxK
U2 - 10.1109/SEW.2005.45
DO - 10.1109/SEW.2005.45
M3 - Conference contribution
AN - SCOPUS:33646911193
SN - 0769523064
SN - 9780769523064
T3 - Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05
SP - 253
EP - 262
BT - Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05
T2 - 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05
Y2 - 6 April 2005 through 7 April 2005
ER -