University of Twente Student Theses


Developing an easy-to-use Query language for verification of lighting systems

Buit, L.J. (2017) Developing an easy-to-use Query language for verification of lighting systems.

This is the latest version of this item.

[img] PDF
Abstract:Current day lighting systems are large scale heterogeneous distributed systems. These systems are not only large, but also subject to increased demands from its stakeholders. These systems are hard to test and errors are often found late in its development. TNO/ESI together with Philips Lighting has created a domain model of lighting systems to aid in system specification. We provide a (domain generic) framework for creation of easy to use property specification languages as well as a (domain specific) prototype (“the Query language”) for specification of behavioral lighting system properties. We have based our work on common patterns for property specifications and use a pattern library to create an easy to use and extensible language. We provide an extension of the translation of Gruhn and Laue (2006) in what we call monitors and rules that translate to both UPPAAL and a custom Co-simulation Framework. This extended translation may be reused across domains. Finally, we validate that our language is easy to use, show its value to Philips Lighting and show its extensibility.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page