Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
| |
| Authors: | Joaquin Pe?a Christopher A Rouff Mike Hinchey Antonio Ruiz-Cort��s |
| |
| Affiliation: | (1) NASA Goddard Space Flight Center, 587, Greenbelt, MD 20771, USA;(2) NASA Goddard Space Flight Center (GSFC), Greenland, MD 20771, USA;(3) Lockheed Martin, Advanced Technology Laboratories, Arlington, VA, USA;(4) Viable Systems, Inc., 4710 Bethesda Ave. #516, Maryland, MD 20814, USA;(5) NASA Goddard Space Flight Center, 585, Greenbelt, MD 20771, USA;(6) Lero-the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland;(7) Computer Science Research Institute, University of Ulster, Newtownabbey, County Antrim, Northern Ireland |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
