Title | ||
---|---|---|
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
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 advances in modeling, implementing, and testing NASA swarm-based concept missions. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s10270-009-0135-2 | Software and System Modeling |
Keywords | Field | DocType |
formal method,nasa swarm-based concept mission,nasa mission,communicated by robert france. keywords swarms · emergent behavior · agent-oriented software engineering · formal methods,autonomous operation,agent-oriented software engineering,tailored software engineering approach,new science,operation cost,new data,modeling nasa swarm-based system,new technological advancement,formal methods,software engineering,swarms,emergent behavior | Software Engineering Process Group,Systems engineering,Computer science,Agent-oriented software engineering,Formal methods,Software verification and validation,Software construction,Software development,Search-based software engineering,Social software engineering | Journal |
Volume | Issue | ISSN |
10 | 1 | 1619-1374 |
Citations | PageRank | References |
8 | 0.55 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joaquín Peña | 1 | 94 | 8.21 |
Christopher A. Rouff | 2 | 409 | 50.08 |
Mike Hinchey | 3 | 494 | 51.89 |
Antonio Ruiz-Cortés | 4 | 1244 | 50.26 |