Thumbnail Image
Publication

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

Date
2011
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.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
Journal of Systems and Software Modeling;10 (1): Pgs 55-62
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2011_pena.pdf
Adobe PDF, 246.37 KB
Keywords
swarms, emergent behaviour, agent oriented software engineering, formal methods
ULRR Identifiers
https://hdl.handle.net/10344/1762
 https://doi.org/10.34961/9648
Funding code
Funding Information
OSMA, NASA, Spanish Ministry of Science and Technology, Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos