Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. From an engineering point of view, the complexity and emergent behavior of this kind of system is one of the main challenges that has to be overcome, since it makes the behavior of the swarm unpredictable. In NASA, many approaches are being explored towards this goal, mainly, a tailored software engineering approach, called agent-oriented software engineering, and formal methods. In this paper, we report on the main advances we have made towards modeling, implementing, and testing NASA swarms-based concept missions

[1]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[2]  Antonio Ruiz Cortés,et al.  Multi-agent system product lines: challenges and benefits , 2006, CACM.

[3]  Rafael Corchuelo,et al.  Towards clarifying the importance of interactions in Agent-Oriented Software Engineering , 2007, Inteligencia Artif..

[4]  Harold J. Morowitz,et al.  The emergence of complexity , 1995, Complex..

[5]  H. Van Dyke Parunak,et al.  Representing Social Structures in UML , 2001, AOSE.

[6]  H. Van Dyke Parunak,et al.  Representing social structures in UML , 2001, AGENTS '01.

[7]  Mauro Birattari,et al.  Swarm Intelligence , 2012, Lecture Notes in Computer Science.

[8]  Walter Truszkowski,et al.  NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..

[9]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[10]  Walter Truszkowski,et al.  Verification of NASA emergent systems , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[11]  Pamela Elizabeth Clark,et al.  ANTS: Applying A New Paradigm for Lunar and Planetary Exploration , 2002 .

[12]  James Odell,et al.  Agents and Complex Systems , 2002, J. Object Technol..

[13]  M.G. Hinchey,et al.  Autonomous and autonomic systems: a paradigm for future space exploration missions , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[14]  Nikolay Mehandjiev,et al.  A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies , 2003, ESAW.

[15]  Elizabeth A. Kendall,et al.  Role modeling for agent system analysis, design, and implementation , 2000, IEEE Concurr..

[16]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[17]  Mike Holcombe.  X-machines as a basis for dynamic system specification , 1988, Softw. Eng. J..

[18]  Mike Hinchey,et al.  Verification and validation of autonomous systems , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.

[19]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[20]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[21]  E. Bonabeau,et al.  Self-organization in social insects. , 1997, Trends in ecology & evolution.

[22]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[23]  Walter Truszkowski,et al.  Experiences applying formal approaches in the development of swarm-based space exploration systems , 2006, International Journal on Software Tools for Technology Transfer.

[24]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[25]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[26]  Clare Dixon,et al.  On Formal Specification of Emergent Behaviours in Swarm Robotic Systems , 2005 .

[27]  H. Van Dyke Parunak,et al.  The Role of Roles in Designing Effective Agent Organizations , 2002, SELMAS.

[28]  Manuel Resinas,et al.  Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach , 2006, Software Engineering Research and Practice.

[29]  Rafael Corchuelo,et al.  A top down approach for MAS protocol descriptions , 2003, SAC '03.