论文标题
克莱尔:开发弹性CPS架构的基于合同的框架
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures
论文作者
论文摘要
工业网络基础设施通常是多层架构。分层体系结构的目的是隐藏复杂性并允许层的独立演变。在本文中,我们认为这种传统的严格分层导致层次差异不佳,影响了显着提高弹性的能力。我们提出了一种基于合同的方法,其中跨越网络基础结构层的组件与合同和轻巧的弹性经理相关联。这允许系统检测故障(使用观察者监控的违反合同行为)并有效地反应(动态更改合同)。它导致(1)提高各个层的透明度;帮助弹性,(2)将故障处理代码与应用程序代码解耦;帮助代码维护,(3)系统地生成无错误的故障处理代码;减少了发展时间。使用工业案例研究,我们证明了所提出的方法。
Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers. In this paper, we argue that this traditional strict layering results in poor transparency across layers affecting the ability to significantly improve resiliency. We propose a contract-based methodology where components across and within the layers of the cyber-infrastructure are associated with contracts and a light-weight resilience manager. This allows the system to detect faults (contract violation monitored using observers) and react (change contracts dynamically) effectively. It results in (1) improving transparency across layers; helps resiliency, (2) decoupling fault-handling code from application code; helps code maintenance, (3) systematically generate error-free fault handling code; reduces development time. Using an industrial case study, we demonstrate the proposed methodology.