Jun 27, 2017: Lennart Buit: Query Language for the Lighting Domain and its Verification

June 27, 2017Query Language for the Lighting Domain and its Verification
Room: Hal B 2BLennart Buit
12:30-13:30

Lighting Systems are becoming increasingly complex. TNO-ESI and Lighting are developing a domain approach to simplify the development of these complex lighting systems and ease testing and verification. This research extends their approach with a query language that formalises requirements of the system to such a degree that they can be model checked. In this presentation we present our approach. Besides introducing the research, we also have a very concrete question we like to discuss, we have created a mapping of some subset of formal logics to a form that can be verified in simulators/model checkers but are interested in formally proving that these translations retain semantics.