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

fYear

2013

fDate

4-6 Sept. 2013

Firstpage

122

Lastpage

129

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on

Conference_Location

Santander

Type

conf

DOI

10.1109/SEAA.2013.36

Filename

6619499