论文标题
基于合同的网络物理系统的分层弹性管理
Contract-based Hierarchical Resilience Management for Cyber-Physical Systems
论文作者
论文摘要
策划的物理和网络组件以满足给定要求的协作努力是网络物理系统（CPS）背后的核心概念。为了确保组件的性能，基于软件的弹性管理器是快速检测和从故障恢复的灵活选择。但是，位于系统的中心处理每一个故障的单一弹性经理，遭受了决策的影响；因此，对于分布式大规模CP的问题是不可能的。另一方面，迅速发现失败和从中有效恢复对分散的弹性经理来说是具有挑战性的。在这方面，我们提出了一个新颖的弹性管理框架，该框架利用了管理层次结构的概念。系统设计合同在此框架中起着关键作用，以迅速进行故障检测和恢复。除了框架的详细信息外，本文中还提供了一个与行业4.0相关的测试案例，以提供进一步的见解。
Orchestrated collaborative effort of physical and cyber components to satisfy given requirements is the central concept behind Cyber-Physical Systems (CPS). To duly ensure the performance of components, a software-based resilience manager is a flexible choice to detect and recover from faults quickly. However, a single resilience manager, placed at the centre of the system to deal with every fault, suffers from decision-making overburden; and therefore, is out of the question for distributed large-scale CPS. On the other hand, prompt detection of failures and efficient recovery from them are challenging for decentralised resilience managers. In this regard, we present a novel resilience management framework that utilises the concept of management hierarchy. System design contracts play a key role in this framework for prompt fault-detection and recovery. Besides the details of the framework, an Industry 4.0 related test case is presented in this article to provide further insights.
