Institutions | About Us | Help | Gaeilge
rian logo


Mark
Go Back
Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods
Pena, Joaquin; Rouff, Christopher; Hinchey, Mike; Ruiz-Cortés, Antonio
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 the advances in modeling, implementing, and testing NASA swarm-based concept missions.
Keyword(s): swarms; emergent behaviour; agent oriented software engineering; formal methods
Publication Date:
2011
Type: Journal article
Peer-Reviewed: Yes
Language(s): English
Institution: University of Limerick
Funder(s): Science Foundation Ireland
Citation(s): Journal of Systems and Software Modeling;10 (1): Pgs 55-62
http://dx.doi.org/10.1007/s10270-009-0135-2
03/CE/10303_1
TIC 2003_02737-C02.01
TIN 2006_00472
Publisher(s): Association for Computing Machinery
First Indexed: 2012-01-05 05:25:48 Last Updated: 2018-07-19 06:27:49