Home // ICONS 2015, The Tenth International Conference on Systems // View article

Robustness Analysis for Indoor Lighting Systems

Authors:
Richard Doornbos
Jacques Verriet
Mark Verberkt

Keywords: distributed systems; system robustness; model checking; Uppaal; indoor lighting systems.

Abstract:
Modern lighting systems are configurable systems-of-systems that have to operate in an environment that they cannot fully control. These systems have to guarantee the continuation of their functionality regardless of the events in their environment. As testing and simulation are not able to identify all possible interactions of a lighting system and its environment we propose a model checking approach to analyze a lighting system’s robustness. To allow easy integration in lighting system development, the approach uses the same configuration options as the lighting systems under study. We apply our approach to an office lighting system and show how model checking can be used to analyze the robustness against network failures and to investigate communication protocols to improve system robustness.

Pages: 46 to 51

Copyright: Copyright (c) IARIA, 2015

Publication date: April 19, 2015

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-399-5

Location: Barcelona, Spain

Dates: from April 19, 2015 to April 24, 2015