University of Limerick Institutional Repository

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

DSpace Repository

Show simple item record Pena, Joaquin Rouff, Christopher Hinchey, Mike Ruiz-Cortés, Antonio 2012-01-03T15:40:51Z 2012-01-03T15:40:51Z 2011
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.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
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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account