Title :
A Toolchain for Home Automation Controller Development
Author :
Dalsgaard, Peter H. ; le Guilly, Thibaut ; Middelhede, Daniel ; Olsen, Petur ; Pedersen, Torben ; Ravn, Anders P. ; Skou, Ame
Author_Institution :
Dept. of Comput. Sci., Aalborg Univ., Aalborg, Denmark
Abstract :
Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent environments requires well designed, validated, and implemented controllers. However, designing and deploying such controllers is a complex and error prone process. This paper presents a tool chain that transforms a design in the form of communicating state machines to an executable controller that interfaces to appliances through a service oriented middleware. Design and validation is supported by integrated model checking and simulation facilities. This is extendable to controller synthesis. This tool chain is implemented, and we provide different examples to show its usability.
Keywords :
control system CAD; digital simulation; finite state machines; formal verification; home automation; middleware; service-oriented architecture; communicating state machines; complex process; controller deployment; controller design; controller synthesis; error prone process; executable controller; home automation controller development toolchain; integrated model checking; intelligent environments; service oriented middleware; simulation facilities; Servers; Synchronization; Temperature; Temperature control; Temperature sensors; Thermostats; Controller; Home Automation; Model Checking; State Machines; UPPAAL;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on
Conference_Location :
Santander
DOI :
10.1109/SEAA.2013.36