演示摘要：面向信息物理系统的基于契约的分层弹性框架
软件工程
2020-04-14 v2
摘要
本演示提出了一个通过分层参数化假设-保证契约构建弹性信息物理系统（CPS）网络基础设施的框架。我们使用 Fischertechnik 带颜色检测的分拣线训练模型来展示我们的框架。
引用
@article{arxiv.2004.04477,
title = {Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems},
author = {Daniel Jun Xian Ng and Arvind Easwaran and Sidharta Andalam},
journal= {arXiv preprint arXiv:2004.04477},
year = {2020}
}
备注
2 pages, 5 figures, published in the Demo Session of IEEE International Conference on Cyber-Physical Systems 2019. Publication rights licensed to ACM