Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

Authors:
Joaquin Peña;Christopher A. Rouff;Mike Hinchey;Antonio Ruiz-Cortés
Affiliations:
University of Seville, Seville, Spain;Lockheed Martin Corporation, Advanced Technology Laboratories, Arlington, USA;Lero-the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland;University of Seville, Seville, Spain
Venue:
Software and Systems Modeling (SoSyM)
Year:
2011

Citing 10
Cited 0

Representing social structures in UML

Proceedings of the fifth international conference on Autonomous agents
Software product lines: practices and patterns

Software product lines: practices and patterns
Role Modeling for Agent System Analysis, Design, and Implementation

IEEE Concurrency
A top down approach for MAS protocol descriptions

Proceedings of the 2003 ACM symposium on Applied computing
Developing multiagent systems: The Gaia methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiences applying formal approaches in the development of swarm-based space exploration systems

International Journal on Software Tools for Technology Transfer (STTT)
Multi-agent system product lines: challenges and benefits

Communications of the ACM - Software product line
Swarms and Swarm Intelligence

Computer
Building the core architecture of a NASA multiagent system product line

AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Autonomous and autonomic systems: a paradigm for future space exploration missions

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	0.00

Visualization

Abstract

The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve self-management, biological-inspiration based on swarms, and autonomous operation as a means of achieving these goals. We consider a tailored software engineering approach to developing such systems based on agent-oriented software engineering and formal methods. We report on advances in modeling, implementing, and testing NASA swarm-based concept missions.