Authors:
Franziska Kühn
1
;
Horst Hellbrück
2
and
Stefan Fischer
1
Affiliations:
1
University of Lübeck, Germany
;
2
University of Lübeck and Lübeck University of Applied Sciences, Germany
Keyword(s):
Self-healing Systems, Model-based Approach, Internet of Things, Sensor Networks.
Related
Ontology
Subjects/Areas/Topics:
Data Communication Networking
;
Enterprise Information Systems
;
Internet of Things
;
Sensor Networks
;
Software Agents and Internet Computing
;
Software and Architectures
;
Telecommunications
Abstract:
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.