Artículo
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
Autor/es | Rouff, Christopher A.
Peña Siles, Joaquín Hinchey, Michael G. Ruiz Cortés, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2011-02 |
Fecha de depósito | 2015-04-17 |
Publicado en |
|
Resumen | 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 ... 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 advances in modeling, implementing, and testing NASA swarm-based concept missions. |
Identificador del proyecto | TIN2006-00472
TIN2009-07366 P07-TIC-02533 03/CE2/I303-1 |
Cita | Rouff, C.A., Peña Siles, J., Hinchey, M.G. y Ruiz Cortés, A. (2011). Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Software & Systems Modeling, 10 (1), 55-62. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 530.2Kb | [PDF] | Ver/ | |