首页/论文/2004.04477

arXiv 2004.044772020-04-13cs.SE

演示摘要：网络物理系统基于契约的层次弹性框架

Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems

Daniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam

备注：: 2 pages, 5 figures, published in the Demo Session of IEEE International Conference on Cyber-Physical Systems 2019. Publication rights licensed to ACM
DOI：: 10.1145/3302509.3313323

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

该演示提出了一个框架，通过使用分层参数假设担保合同来构建弹性网络物理系统（CPS）网络基础设施。一个Fischertechnik分选线与颜色检测训练模型被用来展示我们的框架。

英文摘要：

This demonstration presents a framework for building a resilient Cyber-Physical Systems (CPS) cyber-infrastructure through the use of hierarchical parametric assume-guarantee contracts. A Fischertechnik Sorting Line with Color Detection training model is used to showcase our framework.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

基于契约的信息物理系统层次弹性管理

Contract-based Hierarchical Resilience Management for Cyber-Physical Systems

物理和网络组件的协同工作以满足给定的要求是网络物理系统（CPS）背后的核心概念。为了确保组件的性能，基于软件的弹性管理器是一种灵活的选择，可以快速检测故障并从故障中恢复。然而，一个单一的弹性管理器，放置在系统的中心，以处理每一个故障，遭受决策负担;因此，是不可能的分布式大规模CPS。另一方面，及时发现故障并从中有效恢复对于分散的弹性管理人员来说是一个挑战。在这方面，我们提出了一个新的弹性管理框架，利用管理层次的概念。系统设计合同在这一框架中发挥关键作用，以迅速发现故障和恢复。除了框架的细节之外，本文还提供了一个与工业4.0相关的测试案例，以提供进一步的见解。

2020-04-13cs.SE

用于保障案例生成的智能检索增强生成与评估框架：欧盟网络弹性法案合规性的工业用例

An Agentic RAG and Evaluation Framework for Assurance Case Generation: Industrial Use Case for the EU Cyber Resilience Act Compliance

Simula Research Laboratory（Simula 研究实验室）；TECNALIA；Catalink Limited（Catalink 有限公司）

该研究提出基于智能RAG的保障案例生成与评估框架，通过案例研究验证其可自动化欧盟网络弹性法案合规评定，减少人工并提升证据可追溯性。

2026-08-21cs.SE

迈向弹性信息物理系统的工程学科

Towards an Engineering Discipline for Resilient Cyber-Physical Systems

本文旨在开创弹性信息物理系统的工程学科，通过研究、方法、工具和网站提供指导，以应对动态环境中的不确定性并确保持续弹性。

2024-07-22cs.SE

信息物理系统的绿色韧性

Green Resilience of Cyber-Physical Systems

Free University of Bozen-Bolzano（博尔扎诺自由大学）

针对信息物理系统运行环境不确定易致性能下降的问题，本研究提出博弈论方案，在协作人工智能系统上验证，可在最小化碳排放的同时实现系统韧性。

2023-11-09cs.AIcs.SE

一个用于网络物理系统安全、安全和弹性协同工程的本体元模型

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering

系统复杂性在设计、评估和实现实用的信息物理系统中无处不在。这种日益增加的复杂性正在影响设计网络物理系统所需模型的管理，这些系统能够考虑到一些“能力”，使它们安全可靠，并最终能够抵御服务中断。我们提出了一个本体论元模型的系统设计，增强了现有的行业元模型，以捕捉各种模型元素和安全性，安全性和弹性的考虑因素之间的关系。使用这个元模型会导致更紧密和结构化的建模工作，并在可伸缩性、可用性和现有模型的统一性方面得到全面提高。反过来，这导致在设计安全防御和弹性机制以打击不良行为时采用面向任务的视角。我们在一个开源的GraphQL实现中说明了这个元模型，它可以与许多建模语言接口。我们支持我们提出的元模型，使用石油和天然气管道模型的详细演示。

2020-06-09cs.SEcs.SYeess.SY

《网络弹性法案》下的漏洞协调机制

Vulnerability Coordination Under the Cyber Resilience Act

本文解读欧盟《网络弹性法案》中的漏洞协调强制要求，对比美欧相关漏洞概念，分析公共部门相关实践调整，为网络安全监管研究提供参考。

2025-11-15cs.CRcs.CYcs.SE

更多相关论文收起更多论文

CYBERFORT：为中小企业落实《网络弹性法案》的合规链平台

CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs

Clone Systems；Eximprod Engineering（Eximprod工程公司）；Columbia Shipmanagement（哥伦比亚船舶管理公司）；Bolton Technologies（博尔顿科技公司）；Dealio；I-EnergyLink；University of Thessaly（色萨利大学）；Elias Neocleous & Co. LLC（Elias Neocleous律师事务所）

针对中小企业缺乏GRC能力的问题，提出开源合规平台CYBERFORT，通过合规链将产品风险、控制措施与CRA义务关联，实现可追溯合规，并在43个组织及SIEM/XDR案例中验证。

2026-10-08cs.CRcs.CYcs.SE

物理信息系统的绿色韧性：博士论文

Green Resilience of Cyber-Physical Systems: Doctoral Dissertation

本研究提出GResilience框架，通过多目标优化、博弈论和强化学习优化OL-CAIS的绿色恢复，减少能源影响并维持性能稳定性。

2025-11-20cs.AIcs.CVcs.RO

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

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

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

2020-04-13cs.SEcs.SYeess.SY

工业4.0时代基于合同的弹性网络基础设施开发方法

Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era

随着工业网络基础设施对实现工业4.0的目标变得越来越重要，由于内部或外部故障造成的中断后果变得越来越严重。因此，需要有弹性的基础设施。在本文中，我们提出了一种基于合同的方法，其中跨网络基础设施层的组件与合同和轻量级弹性管理器相关联。这允许系统有效地检测故障（使用观察器监视合同违反）并做出反应（动态更改合同）。

2020-04-13cs.SE

工业控制系统中的安全问题

Security Metrics in Industrial Control Systems

风险是网络安全指标中最著名的，也可能是研究得最好的例子。然而，风险并不是唯一可能的网络安全指标。其他指标，如弹性可以存在，可能是非常宝贵的ICS系统的捍卫者。通常，度量被定义为系统的可测量属性，其量化系统目标实现的程度。IDC可以为ICS的网络防御者提供有关系统的关键见解。通常通过分析该系统的相关属性来获取这些属性。在网络安全指标方面，ICS往往具有独特的功能：在许多情况下，这些系统是为功能而不是安全而设计的旧技术。它们也是极其多样化的系统，具有不同的要求和目标。因此，ICS的指标必须针对具有许多功能并执行许多不同功能的不同系统组进行定制。在本章中，我们首先概述了性能指标的一般理论，并特别强调了网络安全领域和ICS的示例。然后，我们重点讨论一类指标的特定示例，该示例与我们在前几章中考虑的不同。在这里，我们考虑的不是风险，而是弹性指标。美国国家科学院（2012）将复原力定义为准备和计划、吸收、恢复或更成功地适应实际或潜在不良事件的能力。本章介绍了两种方法的基础上产生的弹性的概念，使用矩阵为基础的方法和网络为基础的方法的度量。最后，讨论了不同方法的优点和缺点，以及旨在帮助设计有效指标的过程和提示。

2015-12-26cs.CRcs.CYcs.SE