暗黙的保証による自己修復サイバーフィジカルシステムのサイバーレジリエンス強化
Enhancing Cyber-Resilience in Self-Healing Cyber-Physical Systems with Implicit Guarantees
自己修復サイバーフィジカルシステムにおいて、暗黙的な冗長構成要素の信頼性を継承と分解による「暗黙的保証」で担保し、適応・回復後も要求を満たすレジリエンスを実現する手法を提案した。
著者: Randolph Loh, Vrizlynn L. L. Thing
分類: cs.CR, cs.RO, cs.SY, eess.SY
原文アブストラクト
Self-Healing Cyber-Physical Systems (SH-CPS) effectively recover from system perceived failures without human intervention. They ensure a level of resilience and tolerance to unforeseen situations that arise from intrinsic system and component degradation, errors, or malicious attacks. Implicit redundancy can be exploited in SH-CPS to structurally adapt without the need to explicitly duplicate components. However, implicitly redundant components do not guarantee the same level of dependability as the primary component used to provide for a given function. Additional processes are needed to restore critical system functionalities as desired. This work introduces implicit guarantees to ensure the dependability of implicitly redundant components and processes. Implicit guarantees can be obtained through inheritance and decomposition. Therefore, a level of dependability can be guaranteed in SH-CPS after adaptation and recovery while complying with requirements. We demonstrate compliance with the requirement guarantees while ensuring resilience in SH-CPS.