CLAIR：一个基于契约的弹性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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
