State Consistencies for Cyber-Physical System Recovery
State Consistencies for Cyber-Physical System Recovery
复制标题
信息物理系统恢复的状态一致性
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Insup Lee
中科院分区：
文献类型：
--
作者：
O. Sokolsky;James Weimer;Insup Lee
成为开放式架构已经使网络物理系统（CPS）容易受到超出传统网络攻击的恶意攻击。最近，一个程序，名为网络物理系统检查点和恢复，已被提出来提高系统的弹性对CPS攻击。虽然CPS恢复的可行性得到了很好的证明，但一个没有完全解决的问题是应该使用什么样的状态来进行恢复。在本文中，我们解决这个问题，并要求使用一致的状态。然而，定义状态一致性是一项具有挑战性的任务，因为CPS系统通常同时具有功能性和实时性要求。为了应对这一挑战，我们通过考虑这两个要求来正式定义状态一致性。特别地，我们定义了两个在网络和物理世界的交叉点：网络-物理逻辑一致性和网络-物理时间一致性，基于物理世界是否可以准确地反映相应的网络部分。我们建立了一个模拟器的PID控制的直流电机，以评估如何控制性能的影响，这些扰动时，执行恢复。
Becoming to open architectures has been making Cyber-Physical Systems (CPS) vulnerable to malicious attacks that are beyond conventional cyber attacks. Recently, a procedure, named cyber-physical system checkpointing and recovery, has been proposed to improve system resilience against CPS attacks. While the feasibility of CPS recovery is well demonstrated, one issue not fully addressed is that what kind of states should be used for the recovery. In this paper, we address this issue and claim to use consistent states. Yet, to define state consistency is a challenging task because CPS systems usually have both functional and real-time requirements. To address the challenge, we formally define state consistency by taking account of both requirements. Specially, we define two consistencies in the intersection of the cyber and physical world: cyber-physical logic-consistency and cyber-physical timing-consistency, based on whether the physical world can be accurately reflected by the corresponding cyber part. We build a simulator of PID controlled DC motor to evaluate how control performance is affected by these consistencies when performing recovery.