利用隐式保证增强自修复信息物理系统的网络弹性
密码学与安全
2023-05-16 v1 机器人学
系统与控制
系统与控制
摘要
自修复信息物理系统（SH-CPS）能够在无人干预的情况下从系统感知到的故障中有效恢复。它们确保了对源于系统及部件内在退化、错误或恶意攻击的不可预见情形具有一定程度的弹性与容忍能力。SH-CPS 中可利用隐式冗余在不显式复制部件的情况下进行结构适配。然而，隐式冗余部件并不保证与用于提供给定功能的主部件具有相同水平的可靠性。需要额外的过程来按需恢复关键系统功能。本文引入隐式保证以确保隐式冗余部件与过程的可靠性。隐式保证可通过继承与分解获得。因此，在适配与恢复后，SH-CPS 中可在满足需求的同时保证一定程度的可靠性。我们展示了在确保 SH-CPS 弹性的同时满足需求保证的合规性。
引用
@article{arxiv.2305.08335,
title = {Enhancing Cyber-Resilience in Self-Healing Cyber-Physical Systems with Implicit Guarantees},
author = {Randolph Loh and Vrizlynn L. L. Thing},
journal= {arXiv preprint arXiv:2305.08335},
year = {2023}
}
备注
IEEE Cyber Security and Resilience Conference 2023