A Toolchain for Home Automation Controller Development

Publication: Research - peer-reviewArticle in proceeding

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.
Close

Details

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.
Original languageEnglish
Title of host publication39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
EditorsOnur Demirors, Oktay Turetken
Number of pages8
PublisherIEEE Computer Society Press
Publication date2013
Pages122-129
DOI
StatePublished - 2013
EventSoftware Engineering and Advanced Applications - Santander, Spain

Conference

ConferenceSoftware Engineering and Advanced Applications
Nummer39
LandSpain
BySantander
Periode04/09/201306/09/2013
SeriesEuromicro Conference. Proceedings
ISSN1089-6503

    Keywords

  • Servers, Synchronization, Temperature, Temperature Control, Temperature Sensors, Thermostats, Controller, Home Automation, Model Checking, State Machines, UPPAAL
ID: 100507024