Communicating sequential processes
Communicating sequential processes
The REDO compendium: reverse engineering for software maintenance
The REDO compendium: reverse engineering for software maintenance
Communicating sequential processes
Communications of the ACM
Concurrent Systems: Formal Development in CSP
Concurrent Systems: Formal Development in CSP
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A Formal Approach to Requirements-Based Programming
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
Autonomous and autonomic systems: a paradigm for future space exploration missions
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.00 |
NASA is developing increasingly complex missions to conduct new science and exploration. Missions are increasingly turning to multi-spacecraft to provide multiple simultaneous views of phenomena, and to search more of the solar system in less time. Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed to accomplish the goals of these new missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to verify that the proper behaviors will emerge. In verifying the desired behavior of swarms of intelligent interacting agents, the two significant sources of difficulty are the exponential growth of interactions and the emergent behaviors of the swarm. NASA Goddard Space Flight Center (GSFC) is currently involved in two projects that aim to address these sources of difficulty. We describe the work being conducted by NASA GSFC to develop a formal method specifically for swarm technologies. We also describe the use of requirements-based programming in the development of these missions, which, it is believed, will greatly reduce development lead-times and avoid many of the problems associated with such complex systems.