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

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

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.

Download


Paper Citation


in Harvard Style

Kühn F., Hellbrück H. and Fischer S. (2018). A Model-based Approach for Self-healing IoT Systems - Position Paper.In Proceedings of the 7th International Conference on Sensor Networks - Volume 1: SENSORNETS, ISBN 978-989-758-284-4, pages 135-140. DOI: 10.5220/0006639401350140


in Bibtex Style

@conference{sensornets18,
author={Franziska Kühn and Horst Hellbrück and Stefan Fischer},
title={A Model-based Approach for Self-healing IoT Systems - Position Paper},
booktitle={Proceedings of the 7th International Conference on Sensor Networks - Volume 1: SENSORNETS,},
year={2018},
pages={135-140},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006639401350140},
isbn={978-989-758-284-4},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Sensor Networks - Volume 1: SENSORNETS,
TI - A Model-based Approach for Self-healing IoT Systems - Position Paper
SN - 978-989-758-284-4
AU - Kühn F.
AU - Hellbrück H.
AU - Fischer S.
PY - 2018
SP - 135
EP - 140
DO - 10.5220/0006639401350140