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

  title={Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods},
  author={Joaqu{\'i}n Pe{\~n}a and Christopher A. Rouff and Michael G. Hinchey and Antonio Ruiz Cort{\'e}s},
  journal={Software & Systems Modeling},
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… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 18 references

Autonomous and autonomic systems: a paradigm for future space exploration missions

IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) • 2006
View 2 Excerpts

Multiagent system product lines: Challenges and benefits

J. Peña, M. G. Hinchey, Antonio Rúız-Cortes
Communications of the ACM, • 2006
View 1 Excerpt

On Improving The Modelling Of Complex Acquaintance Organisations Of Agents. A Method Fragment For The Analysis Phase

J. Peña
PhD thesis, University of Seville, • 2005
View 1 Excerpt

ANTS for the human exploration and development of space

Steven A. Curtis, W. F. Truszkowski, Michael L. Rilee, Pamela E. Clark
In Proc. IEEE Aerospace Conference, Big Sky, Montana, USA, • 2003
View 1 Excerpt

Similar Papers

Loading similar papers…