A Toolchain for Home Automation Controller Development

Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
2013 2013 39th Euromicro Conference on Software Engineering and Advanced Applications  
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 toolchain that transforms a design in the form of communicating state machines to an executable controller that interfaces to appliances through a
more » ... e oriented middleware. Design and validation is supported by integrated model checking and simulation facilities. This is extendable to controller synthesis. This toolchain is implemented, and we provide different examples to show its usability.
doi:10.1109/seaa.2013.36 dblp:conf/euromicro/DalsgaardGMOPRS13 fatcat:l33uuawb7ff4ngj52rnm4yeq2y