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

Autor:	Ng, Daniel Jun Xian, Easwaran, Arvind, Andalam, Sidharta
Rok vydání:	2020
Předmět:	Computer Science - Software Engineering
Druh dokumentu:	Working Paper
DOI:	10.1145/3302509.3313323
Popis:	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. Comment: 2 pages, 5 figures, published in the Demo Session of IEEE International Conference on Cyber-Physical Systems 2019. Publication rights licensed to ACM
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2004.04477 Zobrazit plný text záznamu View this record from Arxiv