Experiences applying formal approaches in the development of swarm-based space exploration systems

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 6, 2006, Pages 587-603

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

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

Formalmethods; Swarm; Validation; Verification

Indexed keywords

EID: 33750440767     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-006-0027-5     Document Type: Conference Paper

References (48)

1. Beni, G. The concept of cellular robotics. In: Proceedings of 1988 IEEE International Symposium on Intelligent Control, pp. 57-62. IEEE Computer Society Press, Los Alamitos (1988)
2. Beni, G., Want, J. Swarm intelligence. In: Proceedings of 7th Annual Meeting of the Robotics Society of Japan, pp. 425-428. RSJ Press, Tokyo (1989)
3. Blackburn, M., Busser, R., Nauman, A., Knickerbocker, R., Kasuda, R. Mars polar lander fault identification using model-based testing. In: Proceedings of the 26th Annual IEEE/NASA Software Engineering Workshop (SEW). Greenbelt (2001)
4. Bonabeau E., Dorigo M., Théraulaz G. (1999) Swarm Intelligence: from Natural to Artificial Systems. Oxford University Press, New York
5. Bonabeau, E., Théraulaz, G. Swarm smarts. Scientific American, pp. 72-79 (2000)
6. Bonabeau E., Théraulaz G., Deneubourg J.L., Aron S., Camazine S. (1997) Self-organization in social insects. Trends Ecol. Evol. 12, 188-193
7. Brueckner, S., Parunak, H.V.D. Resource-aware exploration of the emergent dynamics of simulated systems. In: Proceedings of Autonomous Agents and Multi Agent Systems (AAMAS), pp. 781-788 (2003)
8. Butler, M.J. csp2B: A Practical Approach to Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton (1999)
9. Carlson, S. Artificial life: Boids of a feather flock together. Scientific American (2000)
10. Casani, J., Whetsler, C., Albee, A., Battel, S., Brace, R., Burdick, G., Burr, P., Dippoey, D., Lavell, J., Leising, C., MacPherson, D., Menard, W., Rose, R., Sackheim, R., Schallenmuller, A.: Report on the loss of the mars polar lander and deep space 2 missions. Tech. Rep. JPL D-18709, Jet Propulsion Laboratory, California Institute of Technology (2000)
11. Chandy K.M., Misra J. (1988) Parallel Program Design: A Foundation. Addison-Wesley, Reading
12. Clark, P.E., Curtis, S.A., Rilee, M.L. ANTS: Applying a new paradigm to Lunar and planetary exploration. In: Proceedings of Solar System Remote Sensing Symposium. Pittsburgh, Pennsylvania (2002)
13. Curtis, S.A., Mica, J., Nuth, J., Marr, G., Rilee, M.L., Bhat, M.K. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource exploration. In: Proceedings of International Astronautical Federation, 51st Congress (2000)
14. Curtis, S.A., Truszkowski, W.F., Rilee, M.L., Clark, P.E. ANTS for the human exploration and development of space. In: Proceedings of IEEE Aerospace Conference. Big Sky, Montana (2003)
15. Fiadeiro J.L. (2004) Categories for Software Engineering. Springer, London
16. Hiebeler, D.E. The swarm simulation system and individual-based modeling. In: Proceedings of Decision Support 2001: Advanced Technology for Natural Resource Management. Toronto, Canada (1994)
17. Hinchey, M., Rash, J., Rouff, C. Verification and validation of autonomous systems. In: Proceedings of SEW-26, 26th Annual NASA/IEEE Software Engineering Workshop. NASA Goddard Space Flight Center, IEEE Computer Society Press, Los Alamitos, Calif., Greenbelt, MD, pp. 136-144 (2001)
18. Hinchey M.G., Bowen J.P. ed. (1999). Industrial-Strength Formal Methods in Practice. FACIT Series. Springer, London, UK URL http://www.springer.co.uk
19. Hinchey M.G., Jarvis S.A. (1995) Concurrent systems: Formal development in CSP. International Series in Software Engineering. McGraw-Hill, London
20. Hinchey, M.G., Rash, J.L., Rouff, C.A. Towards an automated development methodology for dependable systems with application to sensor networks. In: Proceedings of IEEE Workshop on Information Assurance in Wireless Sensor Networks (WSNIA 2005), Proceedings of International Performance Computing and Communications Conference (IPCCC-05). IEEE Computer Society Press, Los Alamitos, Calif., Phoenix (2005)
21. Hoare C.A.R. (1985) Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs
22. Holcombe W.M.L. (1986) Mathematical models of cell biochemistry. Tech. Rep. CS-86-4, Sheffield University, UK
23. Holcombe, W.M.L. Towards a formal description of intracellular biochemical organization. Tech. Rep. CS-86-1, Sheffield University (1986)
24. Holcombe W.M.L. (1988) X-Machines as a basis for system specification. Softw. Eng. 3(2): 69-76
25. Horn, P. Autonomic computing: IBM's perspective on the state of information technology. Tech. rep., IBM T. J. Watson Laboratory (15 October 2001). http://www.research.ibm.com/autonomic/
26. Kiniry, J.R. The specification of dynamic distributed component systems. Master's Thesis, California Institute of Technology (1998)
27. Luna F., Stefansson B. (2000) Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming. Kluwer, Dordrecht
28. Nayak, P.P., Bernard, D.E., Dorais, G., Jr., E.B.G., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Rajan, K., Rouquette, N., Smith, B.D., Taylor, W., wen Tung, Y. Validating the DS1 remote agent experiment. In: Proceedings of the 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-99) (1999)
29. Parunak, H.V.D., Vanderbok, R. Managing emergent behaviour in distributed control systems. In: Proceedings of ISA-Tech'97. Anaheim (1997)
30. Reynolds C.W. (1987) Flocks, herds, and schools: A distributed behavioral model. Comput. Graph. 21(4): 25-34
31. Rouff, C., Rash, J., Hinchey, M., Truszkwoski, W. Formal methods at NASA Goddard Space Flight Center. In: Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering, pp. 287-310. Springer, London (2005)
32. Rouff, C., Vanderbilt, A., Hinchey, M., Truszkowski, W., Rash, J. Formal methods for swarm and autonomic systems. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA). Cyprus (2004)
33. Rouff, C.A., Rash, J.L., Hinchey, M.G. Experience using formal methods for specifying a multi-agent system. In: Proceedings of Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000). IEEE Computer Society Press, Los Alamitos, Tokyo (2000)
34. Rouff, C.A., Truszkowski, W.F., Hinchey, M.G., Rash, J.L. 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), pp. 443-448. IEEE Computer Society Press, Los Alamitos (2004)
35. Rouff, C.A., Truszkowski, W.F., Hinchey, M.G., Rash, J.L. Verification of NASA emergent systems. In: Proceedings of 9th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Los Alamitos (2004)
36. Rouff C.A., Truszkowski W.F., Rash J.L., Hinchey M.G. (2005) A survey of formal methods for intelligent swarms. Tech. Rep. TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt
37. Savage, M., Askenazi, M. Arborscapes: A swarm-based multi-agent ecological disturbance model. Working paper 98-06-056, Santa Fe Institute, Santa Fe (1998)
38. Shehory O., Kraus S., Yadgar O. (1999) Emergent cooperative goal-satisfaction in large-scale automated-agent systems. Artif. Intell. 110(1): 1-55
39. Spears, W.M., Gordon, D.F. Using artificial physics to control agents. In: Proceedings of IEEE International Conference on Information, Intelligence, and Systems. Charlotte, North Carolina (1999)
40. Sterritt, R., Hinchey, M.G. SPAACE: Self-properties for an autonomous and autonomic computing environment. In: Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05), pp. 9-15. CSREA Press, Las Vegas, Nevada (2005)
41. Sterritt, R., Hinchey, M.G. Apoptosis and self-destruct: A contribution to autonomic agents? In: Proceedings of FAABS-III, 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems, pp. 269-278. Springer, Berlin Heidelberg New York (2004)
42. Sterritt, R., Rouff, C.A., Rash, J.L., Truszkowski, W.F., Hinchey, M.G. Self-*properties in NASA missions. In: 4th International Workshop on System/Software Architectures (IWSSA'05) in Proceedings of 2005 International Conference on Software Engineering Research and Practice (SERP'05), pp. 66-72. CSREA Press, Las Vegas, Nevada (2005)
43. Sumpter D.J.T., Blanchard G.B., Broomhead D.S. (2001) Ants and agents: A process algebra approach to modelling ant colony behaviour. Bull. Math. Biol. 63(5): 951-980
44. Tofts, C. Describing social insect behavior using process algebra. Transactions of the Society for Computer Simulation, pp. 227-283 (1991)
45. Truszkowski W., Hinchey M., Rash J., Rouff C. (2004) NASA's swarm missions: The challenge of building autonomous software. IEEE IT Prof. 6(5): 47-52
46. Truszkowski W.F., Hinchey M.G., Rash J.L., Rouff C.A. (2006) Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. C 36(3): 279-291
47. von Neumann J. (1996) Theory of Self-Reproducing Automata. University of Illinois Press, Urbana
48. Weiss G. ed. (1999) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge