Experiences applying formal approaches in the development of swarm-based space exploration systems (original) (raw)

References

  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
    MATH Google Scholar
  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
    Article Google Scholar
  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
    MATH Google Scholar
  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
    Google Scholar
  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
    Google Scholar
  19. Hinchey M.G., Jarvis S.A. (1995) Concurrent systems: formal development in CSP. International Series in Software Engineering. McGraw-Hill, London
    Google Scholar
  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
    Google Scholar
  22. Holcombe W.M.L. (1986) Mathematical models of cell biochemistry. Tech. Rep. CS-86-4, Sheffield University, UK
    Google Scholar
  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
    Article Google Scholar
  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
    MATH Google Scholar
  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
    Article MathSciNet Google Scholar
  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
    Google Scholar
  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
    Article MATH Google Scholar
  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
    Article Google Scholar
  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
    Article Google Scholar
  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
    Article Google Scholar
  47. von Neumann J. (1996) Theory of Self-Reproducing Automata. University of Illinois Press, Urbana
    Google Scholar
  48. Weiss G. ed. (1999) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge
    Google Scholar

Download references