Accession Number:



Embedding Verification Awareness in Self Repairing Systems

Descriptive Note:

Technical Report,01 Oct 2016,30 Apr 2019

Corporate Author:

The University of Tulsa Tulsa United States

Personal Author(s):

Report Date:


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.

Subject Categories:

  • Computer Systems

Distribution Statement: