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

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 s...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Software and systems modeling Ročník 10; číslo 1; s. 55 - 62
Hlavní autoři: Peña, Joaquin, Rouff, Christopher A., Hinchey, Mike, Ruiz-Cortés, Antonio
Médium: Journal Article
Jazyk:angličtina
Vydáno: Berlin/Heidelberg Springer-Verlag 01.02.2011
Springer Nature B.V
Témata:
Balancing
Compilers
Complexity
Computer programs
Computer Science
Expert's Voice
Formal method
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Missions
NASA
Programming Languages
Programming Techniques
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Formal methods
Emergent behavior
Agent-oriented software engineering
Swarms
ISSN:1619-1366, 1619-1374
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-009-0135-2