Self-healing is an increasingly popular approach ensuring resiliency, that is, a proper adaptation to failures, in cyberphysical systems (CPS). A very promising way of achieving selfhealing is through structural adaptation (SHSA), by replacing a failed component with a substitute component. We present a knowledge base modeling relations among system variables given that certain implicit redundancy exists in the system and show how to extract a substitute from that knowledge base using guided search. The result of our search, i.e., the substitute, is optimal w.r.t. a user-defined utility function considering properties of the system variables (e.g., accuracy). We demonstrate our approach - Self-Healing by Property-Guided Structural Adaptation (SHPGSA) - by deploying it in a real-world CPS prototype of a rover whose sensors are susceptible to failure. We further show the increased runtime performance to find the optimal substitute by comparing it to related work.
In Proc. of ICPS'18, the 1st IEEE International Conference on Industrial Cyber-Physical Systems, Saint-Petersburg, Russia, May, 2018. IEEE.
*This work was partially supported by the NSF-Frontiers Cyber-Cardia
Award, the US-AFOSR Arrive Award, the EU-Artemis EMC2 Award, the
EU-Ecsel Semi40 Award, the EU-Ecsel Productive 4.0 Award, the
AT-FWF-NFN RiSE Award, the AT-FWF-LogicCS-DC Award, the AT-FFG
Harmonia Award, the AT-FFG Em2Apps Award, and the TUW-CPPS-DK Award.