 |
||
|
Advanced Search |
||
|
|||||
|
Formal Methods < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Formal Approaches to Swarm Technologies | |
| Point of Contact |
Christopher Rouff rouffc@saic.com |
| Dates | February 2002 - December 2006 |
| Problem | Autonomous swarms of satellites are being proposed for missions that have complex behaviors and interactions. A significant challenge when dealing with swarms of interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. |
| Objective | Our hypothesis is that one or more formal methods are needed to assure the correct behavior of the interactions and emergent properties of satellite swarms. Formal methods are proven approaches for assuring the correct operation of complex interacting systems. The objective of this project will be to research several formal method techniques to determine the best methods to use for assuring swarms. |
| Results |
Evaluation of Formal Methods Used.doc Continued Specifications of Part of the ANTS Mission.zip OSMA SAS 03 Paper and Presentation.zip Survey of Potential Formal Methods.doc SAS 05 Executive Presentation.ppt Identification of a Part of the ANTS Mission.doc End of year briefing 04.zip Workshop or conference paper based on results.pdf SAS 06 Technical Presentation.ppt SAS 05 Technical Presentation.ppt Properties needed for swarm formal method.zip Write Up of Results of Survey & Specifications.doc Conference and Journal Papers.zip SAS 06 Executive Presentation.ppt Report on tools for supporting new formal method.doc Final formal method for swarms.doc Report on View Integration of FAST Formal Methods.doc |
| Keywords | formal approaches, formal methods, model checker, swarm |
| Categories |
Software Safety Formal Methods |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |