Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Next generation system and software architectures challenges from future NASA exploration missions
Science of Computer Programming - Special issue on quality system and software architectures
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Engineering Societies in the Agents World VIII
On the significance of synchroneity in emergent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
An agent-based cognitive mapping system for sales opportunity analysis
Expert Systems with Applications: An International Journal
Multi-agent role allocation: issues, approaches, and multiple perspectives
Autonomous Agents and Multi-Agent Systems
Modeling complex emergent discrete event systems: a case study in robotic swarm motion
ACMOS'06 Proceedings of the 8th WSEAS international conference on Automatic control, modeling & simulation
Formalization of emergence in multi-agent systems
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
| Hi-index | 0.00 |
Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives the results of research into formal methods techniques for verification and validation of NASA swarm-based missions. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence for which to apply the formal methods. This paper will give the evaluation of these formal methods and give partial specifications of the ANTS mission using four selected methods. We then give an evaluation of the methods and the needed properties of a formal method for effective specification and prediction of emergent behavior in swarm-based systems.