arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2004.05761eess.SYcs.SEcs.SY
收藏

信息物理系统弹性层次契约的自动生成

Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems

Zhiheng Xu, Daniel Jun Xian Ng, Arvind Easwaran

摘要:

随着网络物理系统(CPS)规模的不断扩大,在所有操作条件下保持其稳定性具有挑战性。如何减少系统停机时间和故障定位成为系统设计的核心问题。在本文中,我们采用了一个基于契约的分层弹性框架来保证CPS的稳定性。在这个框架中,我们使用假设保证(A-G)合约来监控各个组件的非功能属性(例如,功率和等待时间),并且分层地组成这样的合同以推断关于系统级的故障的信息。层次化的合同使快速故障检测在大规模CPS。然而,由于CPS中的组件数量庞大,手动设计大量合同和层次结构变得具有挑战性。为了解决这个问题,我们提出了一种技术,根据组件之间的I/O依赖关系自动将根合同分解为多个较低级别的合同。然后,我们制定了一个多目标优化问题,以搜索每个较低级别的合同的最佳参数。这样就可以在考虑组件之间的通信开销的情况下实现自动合约细化。最后,我们使用的制造领域的案例研究,实验证明所提出的框架的好处。

英文摘要:

With the growing scale of Cyber-Physical Systems (CPSs), it is challenging to maintain their stability under all operating conditions. How to reduce the downtime and locate the failures becomes a core issue in system design. In this paper, we employ a hierarchical contract-based resilience framework to guarantee the stability of CPS. In this framework, we use Assume Guarantee (A-G) contracts to monitor the non-functional properties of individual components (e.g., power and latency), and hierarchically compose such contracts to deduce information about faults at the system level. The hierarchical contracts enable rapid fault detection in large-scale CPS. However, due to the vast number of components in CPS, manually designing numerous contracts and the hierarchy becomes challenging. To address this issue, we propose a technique to automatically decompose a root contract into multiple lower-level contracts depending on I/O dependencies between components. We then formulate a multi-objective optimization problem to search the optimal parameters of each lower-level contract. This enables automatic contract refinement taking into consideration the communication overhead between components. Finally, we use a case study from the manufacturing domain to experimentally demonstrate the benefits of the proposed framework.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑