Towards a Hybrid Formal Method for Swarm-Based Exploration Missions Export

@inproceedings{Rouff2005Towards, 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 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\&\#146;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.}, author = {Rouff, C. A. and Hinchey, M. G. and Rash, J. L. and Truszkowski, W. F.}, booktitle = {Software Engineering Workshop, 2005. 29th Annual IEEE/NASA}, citeulike-article-id = {3574169}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/SEW.2005.45}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1521214}, citeulike-linkout-2 = {http://dx.doi.org/http://dx.doi.org/10.1109/SEW.2005.45}, citeulike-linkout-3 = {http://dx.doi.org/10.1109/SEW.2005.45}, doi = {10.1109/SEW.2005.45}, journal = {Software Engineering Workshop, 2005. 29th Annual IEEE/NASA}, keywords = {autonomous-nanotechnology-swarm, formal-method, satellite, swarm}, pages = {253--264}, posted-at = {2008-11-18 12:16:12}, priority = {2}, title = {Towards a Hybrid Formal Method for Swarm-Based Exploration Missions}, url = {http://dx.doi.org/10.1109/SEW.2005.45}, year = {2005} }

TY - CONF ID - Rouff2005Towards L3 - citeulike-article-id:3574169 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 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. JF - Software Engineering Workshop, 2005. 29th Annual IEEE/NASA EP - 264 TI - Towards a Hybrid Formal Method for Swarm-Based Exploration Missions T2 - Software Engineering Workshop, 2005. 29th Annual IEEE/NASA SP - 253 KW - autonomous-nanotechnology-swarm KW - formal-method KW - satellite KW - swarm AU - Rouff, CA AU - Hinchey, MG AU - Rash, JL AU - Truszkowski, WF PY - 2005/// UR - http://dx.doi.org/10.1109/SEW.2005.45 ER -