SEApr 9, 2020
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems
arXiv:2004.04477v2
AI Analysis
This addresses resilience issues in CPS for applications like industrial automation, but appears incremental as it applies existing contract methods to a specific domain.
The paper tackles the problem of building resilient cyber-infrastructure for Cyber-Physical Systems by proposing a framework based on hierarchical parametric assume-guarantee contracts, demonstrated using a Fischertechnik Sorting Line with Color Detection training model.
This demonstration presents a framework for building a resilient Cyber-Physical Systems (CPS) cyber-infrastructure through the use of hierarchical parametric assume-guarantee contracts. A Fischertechnik Sorting Line with Color Detection training model is used to showcase our framework.