100 likes | 224 Views
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.
E N D
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 • 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
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
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
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
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
Next steps • Develop formal method for swarm-based systems based on current model • Do formal specification of ANTS using new method • Prototype support tools