Assessing the Risk of an Adaptation using Prior Compliance Verification

Abstract

Autonomous systems must respond to large amounts of streaming information. They also must comply with critical properties to maintain behavior guarantees. Compliance is especially important when a system selfadapts to perform a repair, improve performance, or modify decisions. There remain significant challenges assessing the risk of adaptations that are dynamically configured at runtime with respect to critical property compliance. Assuming compliance verification was performed for the originally deployed system, the proof process holds valuable meta-data about the variables and conditions that impact reusing the proof on the adapted system. We express this meta-data as a verification workflow using Colored Petri Nets. As dynamic adaptations are configured, the Petri Nets produce alert tokens suggesting the potential proof reuse impact of an adaptation. Alert tokens hold risk values for use in a utility function to determine the least risky adaptations. We illustrate the modeling and risk assessment using a case study.

Decolonizing Information Technology Design: A Framework for Integrating Indigenous Knowledge in Design Science Research

“…Assessments were conducted through interacting MAPE-K loops following a similar MAPE-K design pattern as those proposed by Weyns et al (2013). We have also investigated the use of theorem provers to construct formal proofs that demonstrate compliance with system requirements (Marshall et al, 2018) (Riley et al, 2021). Adaptations were assessed using a set of heuristics to measure the risk that the adaptation would fail to maintain compliance with system requirements based on current environment and operating conditions.…”