Embedding Verification Awareness in Self Repairing Systems
Technical Report,01 Oct 2016,30 Apr 2019
The University of Tulsa Tulsa United States
Pagination or Media Count:
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.
- Computer Systems