Towards a hybrid formal method for swarm-based exploration missions

Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05

Volumn 2005, Issue , 2005, Pages 253-262

  Rouff, Christopher A ^a   Hinchey, Michael G ^b   Rash, James L ^b   Truszkowski, Walter F ^b  

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

Formal Methods; Swarm Technology; Verification

Indexed keywords

FORMAL METHODS; ROBOTIC VEHICLES; SWARM TECHNOLOGY; VERIFICATION;

COMPUTATION THEORY; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; INTELLIGENT AGENTS; ROBOTS; SPACE RESEARCH;

SOFTWARE ENGINEERING;

EID: 33646911193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2005.45     Document Type: Conference Paper

References (18)

1. G. Beni and J. Want. Swarm intelligence. In Proc. Seventh Annual Meeting of the Robotics Society of Japan, pages 425-428, Tokyo, Japan, 1989. RSJ Press.
2. E. Bonabeau, M. Dorigo, and G. Théraulaz. Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, New York, 1999.
3. E. Bonabeau and G. Théraulaz. Swarm smarts. Scientific American, pages 72-79, March 2000.
4. M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999.
5. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.
6. P. E. Clark, S. A. Curtis, and M. L. Rilee. ANTS: Applying a new paradigm to lunar and planetary exploration. In Proc. Solar System Remote Sensing Symposium, Pittsburgh, Pennsylvania, USA, 20-21 September 2002.
7. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000.
8. J. L. Fiadeiro. Categories for Software Engineering. Springer-Verlag, London, 2004.
9. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
11. W. M. L. Holcombe. X-Machines as a basis for system specification. Software Engineering, 3(2):69-76, 1988.
12. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Formal approaches to intelligent swarms. In Proc. SEW-28, 28th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, MD, 2003. NASA Goddard Space Flight Center, IEEE Computer Society Press, Los Alamitos, Calif.
13. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Verification of emergent behaviors in swarm based systems. In Proc. 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), pages 443-448, Brno, Czech Republic, May 2004. IEEE Computer Society Press, Los Alamitos, Calif.
14. W. M. Spears and D. F. Gordon. Using artificial physics to control agents. In Proc. IEEE International Conference on Information, Intelligence, and Systems, Charlotte, North Carolina, November 1999.
15. R. Sterritt and M. G. Hinchey. Apoptosis and self-destruct: A contribution to autonomic agents? In Proc. FAABS-III, 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems, pages 269-278. Springer-Verlag, April 2004.
16. C. Tofts. Describing social insect behavior using process algebra. Transactions on Social Computing Simulation, pages 227-283, 1991.
17. W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions: The challenge of building autonomous software. IEEE IT Professional, 6(5):47-52, September/October 2004.
18. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).