|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, "Towards a Hybrid Formal Method for Swarm-Based Exploration Missions," 2012 35th Annual IEEE Software Engineering Workshop, pp. 253-264, 29th Annual IEEE/NASA Software Engineering Workshop, 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/SEW.2005.45, author = {Christopher A. Rouff and Michael G. Hinchey and James L. Rash and Walter F. Truszkowski}, title = {Towards a Hybrid Formal Method for Swarm-Based Exploration Missions}, journal ={2012 35th Annual IEEE Software Engineering Workshop}, volume = {0}, year = {2005}, isbn = {0-7695-2306-4}, pages = {253-264}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.45}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 35th Annual IEEE Software Engineering Workshop TI - Towards a Hybrid Formal Method for Swarm-Based Exploration Missions SN - 0-7695-2306-4 SP253 EP264 A1 - Christopher A. Rouff, A1 - Michael G. Hinchey, A1 - James L. Rash, A1 - Walter F. Truszkowski, PY - 2005 KW - Verification KW - Formal Methods KW - Swarm Technology VL - 0 JA - 2012 35th Annual IEEE Software Engineering Workshop ER - | |||
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 selfmanagement and survivability, and their emergent properties make such swarms potentially very powerful. However, they are signi.cantly more dif.cult 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 speci.cation and veri.cation 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.