Robustness Analysis for Indoor Lighting Systems : An Application of Model Checking in Large-Scale Distributed Control Systems
conference paper
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.
TNO Identifier
525063
ISSN
2308-4243
ISBN
978-1-61208-399-5
Publisher
IARIA
Source title
ICONS 2015 : The Tenth International Conference on Systems
Pages
46 - 51