Please choose your delivery country and your customer group
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.