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

dc.contributor.author	Pena, Joaquin
dc.contributor.author	Rouff, Christopher
dc.contributor.author	Hinchey, Mike
dc.contributor.author	Ruiz-Cortes, Antonio
dc.date.accessioned	2012-01-03T15:40:51Z
dc.date.available	2012-01-03T15:40:51Z
dc.date.issued	2011
dc.identifier.uri	http://hdl.handle.net/10344/1762
dc.description	peer-reviewed	en_US
dc.description.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 the advances in modeling, implementing, and testing NASA swarm-based concept missions.	en_US
dc.language.iso	eng	en_US
dc.publisher	Association for Computing Machinery	en_US
dc.relation.ispartofseries	Journal of Systems and Software Modeling;10 (1): Pgs 55-62
dc.relation.uri	http://dx.doi.org/10.1007/s10270-009-0135-2
dc.rights	"© ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Journal of Systems and Software Modeling Vol.10 Pt.1 Pgs 55-62	en_US
dc.subject	swarms	en_US
dc.subject	emergent behaviour	en_US
dc.subject	agent oriented software engineering	en_US
dc.subject	formal methods	en_US
dc.title	Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods	en_US
dc.type	Article	en_US
dc.type.supercollection	all_ul_research	en_US
dc.type.supercollection	ul_published_reviewed	en_US
dc.type.restriction	none	en
dc.contributor.sponsor	OSMA
dc.contributor.sponsor	NASA Goddard Flight Center
dc.contributor.sponsor	NASA Software Engineering Laboratory
dc.contributor.sponsor	Spanish Ministry of Science and Technology
dc.contributor.sponsor	SFI
dc.relation.projectid	03/CE/10303_1
dc.relation.projectid	TIC 2003_02737-C02.01
dc.relation.projectid	TIN 2006_00472