EMBEDDED VERIFICATION AWARENESS IN SELF-REPAIRING SYSTEMS
Abstract
The goal of this program is to develop resilient systems with the ability to adapt to situations that may cause disruption, without violating proven properties of other individual components. Self-repair is a form of adaptation on which software can monitor itself, analyze a failure occurrence and recover by altering state, logic or architecture. This project seeks to represent DSoS self-repair in a way that identifies what proof obligations for critical properties have been invalidated, determine if they have potential to be re-verified in the repaired system, and assess the risk of them remaining invalidated.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jul 08, 2016
- Source ID
- FA87501610248
Entities
People
- Wilmar Sifre
Organizations
- Rome Laboratory
- United States Air Force
- University of Tulsa