Embedding Verification Awareness in Self Repairing Systems
Abstract
This report details our approach to develop technology that investigates the re-verification potential of critical properties affected by the self-repair plan of an adaptive system within an automated framework that also measures the risk of violated properties should the self-repair take place. From this investigation, we 1) devised a framework that makes component-based systems both architecture and verification aware and enables a dynamic re-verification status assessment in response to a self-repair plan 2) designed a risk assessment mechanism that alerts where a system could enter into a potentially risky state if the self-repair plan causes the violation of a critical requirement, and 3) tested the application of the Genprog self-repair program within the framework. The framework has been embedded into and evaluated using two in-house case studies and a testbed developed to mimic wearable operation and communication.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 07, 2019
- Accession Number
- AD1082078
Entities
People
- Rose Gamble
Organizations
- University of Tulsa