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

Daniel Jun Xian Ng,Arvind Easwaran,Sidharta Andalam
DOI: https://doi.org/10.1145/3302509.3313323
2020-04-13
Abstract: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.
Software Engineering
What problem does this paper attempt to address?