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

Franziska Kühn, Horst Hellbrück, Stefan Fischer


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.

Original languageEnglish
Title of host publication Proceedings of the 7th International Conference on Sensor Networks - Volume 1: SENSORNETS
Number of pages6
Publication date01.01.2018
ISBN (Print)978-989-758-284-4
Publication statusPublished - 01.01.2018
Event7th International Conference on Sensor Networks, SENSORNETS 2018 - Madeira, Portugal
Duration: 22.01.201824.01.2018
Conference number: 134805


Dive into the research topics of 'A Model-based Approach for Self-healing IoT Systems - Position Paper'. Together they form a unique fingerprint.

Cite this