Please use this identifier to cite or link to this item: http://hdl.handle.net/10125/50594

Assessing the Risk of an Adaptation using Prior Compliance Verification

File SizeFormat 
paper0707.pdf1.37 MBAdobe PDFView/Open

Item Summary

Title: Assessing the Risk of an Adaptation using Prior Compliance Verification
Authors: Marshall, Allen
Jahan, Sharmin
Gamble, Rose
Keywords: IS Risk and Decision-Making
adaptive plans, colored Petri nets, risk assessment, self-adapting systems, verification concerns, verification process reuse
Issue Date: 03 Jan 2018
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 self-adapts 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.
Pages/Duration: 10 pages
URI/DOI: http://hdl.handle.net/10125/50594
ISBN: 978-0-9981331-1-9
Rights: Attribution-NonCommercial-NoDerivatives 4.0 International
Appears in Collections:IS Risk and Decision-Making


Please contact sspace@hawaii.edu if you need this content in an alternative format.

Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.