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.

Titel Proceedings of the 7th International Conference on Sensor Networks - Volume 1: SENSORNETS
Herausgeber (Verlag)SciTePress
ISBN (Print)978-989-758-284-4
PublikationsstatusVeröffentlicht - 01.01.2018
Veranstaltung7th International Conference on Sensor Networks, SENSORNETS 2018 - Madeira, Portugal
Dauer: 22.01.201824.01.2018
Konferenznummer: 134805


Untersuchen Sie die Forschungsthemen von „A Model-based Approach for Self-healing IoT Systems - Position Paper“. Zusammen bilden sie einen einzigartigen Fingerprint.