1 / 10

Formal Approaches to Swarm Technologies Executive Briefing

GSFC. Formal Approaches to Swarm Technologies Executive Briefing. Christopher Rouff, Amy Vanderbilt - SAIC Walt Truszkowski, James Rash - NASA GSFC, Code 588 Mike Hinchey - NASA GSFC, Code 581. SAS 2004. Problem.

ovid
Download Presentation

Formal Approaches to Swarm Technologies Executive Briefing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. GSFC Formal Approaches to Swarm Technologies Executive Briefing Christopher Rouff, Amy Vanderbilt - SAIC Walt Truszkowski, James Rash - NASA GSFC, Code 588 Mike Hinchey - NASA GSFC, Code 581 SAS 2004

  2. Problem • Future space missions will require cooperation between multiple satellites/rovers • Developers are proposing intelligent, autonomous swarms to do new science • Swarm-based systems are highly parallel and nondeterministic • Testing these systems using current techniques will be difficult to impossible

  3. ANTS Mission

  4. ANTS MISSION

  5. Difficulty of Testing Swarms • Emergent properties that may not be known • Highly distributed and parallel • Large number of interacting entities • Worse than exponential growth in interactions • Intelligent entities (capabilities increase over time) • Total or near total autonomy • Very little experience in verification and validation of swarm-based systems

  6. Relevance to NASA • Many future missions will be intelligent collaborative distributed systems • Autonomy and autonomic properties will be necessary to manage and operate these systems • Swarms will allow new way for doing science • Verifying these missions will be paramount due to complexity and emergent behaviors • Need verification techniques for these systems

  7. Approach • Survey formal approaches for agent-based, multi-agent and swarm-based systems for appropriate swarm-based methods • Apply most promising approaches to parts of ANTS • Evaluate methods for needed properties • Model and outline swarm-based formal method • Develop formal method for swarm-based systems • Do formal specification of ANTS using new method • Prototype support tools

  8. Accomplishments • Surveyed formal approaches • Applied most promising approaches to ANTS • Evaluated methods • Developed properties for swarm formal method • Developed model and outline for a hybrid swarm-based formal method

  9. Model of Formal Method

  10. Next steps • Develop formal method for swarm-based systems based on current model • Do formal specification of ANTS using new method • Prototype support tools

More Related