Pervasive Self-Regeneration Through Concurrent Model-Based Execution
Abstract
The model-based approach to cognitive immunity of computer software involves, at multiple levels, the use of models to describe correct behavior of the system at appropriate level of abstraction. By specifying the correct operation of the system at levels of the abstract states, this allows the system to select between redundant methods of achieving those states and thereby allowing the system to be robust to perturbations inherent in the environment in which the system operates. Our system, which was demonstrated on a robotic platform, was able to successfully execute a complex robotic mission even in the face of software component failure and unexpected perturbations in the physical environment by reconfigure its software components, and selecting different redundant methods when faced with failing software components.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2006
- Accession Number
- ADA451412
Entities
People
- Brian C. Williams
- Paul Robertson
Organizations
- Massachusetts Institute of Technology