Click here to flash read.
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.
No creative common's license