TY - JOUR
T1 - Modeling NASA swarm-based systems
T2 - Using agent-oriented software engineering and formal methods
AU - Peña, Joaquin
AU - Rouff, Christopher A.
AU - Hinchey, Mike
AU - Ruiz-Cortés, Antonio
PY - 2011/2
Y1 - 2011/2
N2 - 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.
AB - 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.
KW - Agent-oriented software engineering
KW - Emergent behavior
KW - Formal methods
KW - Swarms
UR - http://www.scopus.com/inward/record.url?scp=79251599506&partnerID=8YFLogxK
U2 - 10.1007/s10270-009-0135-2
DO - 10.1007/s10270-009-0135-2
M3 - Article
AN - SCOPUS:79251599506
SN - 1619-1366
VL - 10
SP - 55
EP - 62
JO - Software and Systems Modeling
JF - Software and Systems Modeling
IS - 1
ER -