Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems

04/13/2020
by   Zhiheng Xu, et al.
0

With the growing scale of Cyber-Physical Systems (CPSs), it is challenging to maintain their stability under all operating conditions. How to reduce the downtime and locate the failures becomes a core issue in system design. In this paper, we employ a hierarchical contract-based resilience framework to guarantee the stability of CPS. In this framework, we use Assume Guarantee (A-G) contracts to monitor the non-functional properties of individual components (e.g., power and latency), and hierarchically compose such contracts to deduce information about faults at the system level. The hierarchical contracts enable rapid fault detection in large-scale CPS. However, due to the vast number of components in CPS, manually designing numerous contracts and the hierarchy becomes challenging. To address this issue, we propose a technique to automatically decompose a root contract into multiple lower-level contracts depending on I/O dependencies between components. We then formulate a multi-objective optimization problem to search the optimal parameters of each lower-level contract. This enables automatic contract refinement taking into consideration the communication overhead between components. Finally, we use a case study from the manufacturing domain to experimentally demonstrate the benefits of the proposed framework.

READ FULL TEXT

page 1

page 8

page 10

research
04/09/2020

Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems

This demonstration presents a framework for building a resilient Cyber-P...
research
04/09/2020

Contract-based Hierarchical Resilience Management for Cyber-Physical Systems

Orchestrated collaborative effort of physical and cyber components to sa...
research
12/26/2020

Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems

Critical and cyber-physical systems (CPS) that exist in large industries...
research
01/15/2021

An Abstract Contract Theory for Programs with Procedures

When developing complex software and systems, contracts provide a means ...
research
03/22/2022

Mitigating Moral Hazard in Cyber Insurance Using Risk Preference Design

Cyber insurance is a risk-sharing mechanism that can improve cyber-physi...
research
04/09/2020

Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era

As the industrial cyber-infrastructure become increasingly important to ...
research
04/09/2020

CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures

Industrial cyber-infrastructure is normally a multilayered architecture....

Please sign up or login with your details

Forgot password? Click here to reset