A Model-based Approach for Self-healing IoT Systems - Position Paper

IoT systems become more and more important in our daily life. They will perform monitoring and control tasks which are often safety-critical. Therefore, it is obviously important that IoT systems work reliably, i.e., fulfill their specification. Even if something unexpected happens, it is required that the system moves back into a correct state which we name self-healing. In this paper, we present our idea for a model-based approach for self-healing IoT systems. Based on a formal specification of the system’s properties, we derive monitors which observe the system behavior and trigger healing actions when necessary. In IoT systems, the placement of such systems becomes important due to the increased unreliability of single devices. The paper outlines basic ideas where to place monitors and how to assign monitoring tasks to IoT devices.