A Toolchain for Home Automation Controller Development

Peter H. Dalsgaard; Thibaut Le Guilly; Daniel Middelhede; Petur Olsen; Thomas Pedersen; Anders Peter Ravn; Arne Skou

doi:10.1109/SEAA.2013.36

A Toolchain for Home Automation Controller Development

Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders Peter Ravn, Arne Skou

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

7 Citations (Scopus)

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.

Original language	English
Title of host publication	39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
Editors	Onur Demirors, Oktay Turetken
Number of pages	8
Publisher	IEEE Computer Society Press
Publication date	2013
Pages	122-129
DOIs	https://doi.org/10.1109/SEAA.2013.36
Publication status	Published - 2013
Event	Software Engineering and Advanced Applications: EUROMICRO Conference on - Santander, Spain Duration: 4 Sept 2013 → 6 Sept 2013 Conference number: 39

Conference

Conference	Software Engineering and Advanced Applications
Number	39
Country/Territory	Spain
City	Santander
Period	04/09/2013 → 06/09/2013

Series	Euromicro Conference. Proceedings
ISSN	1089-6503

Keywords

Servers
Synchronization
Temperature
Temperature Control
Temperature Sensors
Thermostats
Controller
Home Automation
Model Checking
State Machines
UPPAAL

Access to Document

10.1109/SEAA.2013.36

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6619499&isnumber=6619471

AUB Link

Search for the material in Aalborg University Library's search engine

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G., Skou, A. & Ravn, A. P.
FP7 STREP
01/11/2012 → 31/10/2015
Project: Research
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
ForskEL
01/01/2012 → 31/12/2016
Project: Research
ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE
Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.
Artemis JU
01/06/2011 → 30/11/2014
Project: Research

Cite this

@inproceedings{23dafc0575ec4d00a84c48f601b2af01,

title = "A Toolchain for Home Automation Controller Development",

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 = "Servers, Synchronization, Temperature, Temperature Control, Temperature Sensors, Thermostats, Controller, Home Automation, Model Checking, State Machines, UPPAAL",

author = "Dalsgaard, {Peter H.} and {Le Guilly}, Thibaut and Daniel Middelhede and Petur Olsen and Thomas Pedersen and Ravn, {Anders Peter} and Arne Skou",

year = "2013",

doi = "10.1109/SEAA.2013.36",

language = "English",

series = "Euromicro Conference. Proceedings",

publisher = "IEEE Computer Society Press",

pages = "122--129",

editor = "Onur Demirors and Oktay Turetken",

booktitle = "39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)",

address = "United States",

note = "Software Engineering and Advanced Applications : EUROMICRO Conference on, SEAA 2013 ; Conference date: 04-09-2013 Through 06-09-2013",

}

Dalsgaard, PH, Le Guilly, T, Middelhede, D, Olsen, P, Pedersen, T, Ravn, AP & Skou, A 2013, A Toolchain for Home Automation Controller Development. in O Demirors & O Turetken (eds), 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society Press, Euromicro Conference. Proceedings, pp. 122-129, Software Engineering and Advanced Applications, Santander, Spain, 04/09/2013. https://doi.org/10.1109/SEAA.2013.36

A Toolchain for Home Automation Controller Development. / Dalsgaard, Peter H.; Le Guilly, Thibaut; Middelhede, Daniel et al.
39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). ed. / Onur Demirors; Oktay Turetken. IEEE Computer Society Press, 2013. p. 122-129 (Euromicro Conference. Proceedings).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A Toolchain for Home Automation Controller Development

AU - Dalsgaard, Peter H.

AU - Le Guilly, Thibaut

AU - Middelhede, Daniel

AU - Olsen, Petur

AU - Pedersen, Thomas

AU - Ravn, Anders Peter

AU - Skou, Arne

N1 - Conference code: 39

PY - 2013

Y1 - 2013

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

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

KW - Servers

KW - Synchronization

KW - Temperature

KW - Temperature Control

KW - Temperature Sensors

KW - Thermostats

KW - Controller

KW - Home Automation

KW - Model Checking

KW - State Machines

KW - UPPAAL

U2 - 10.1109/SEAA.2013.36

DO - 10.1109/SEAA.2013.36

M3 - Article in proceeding

T3 - Euromicro Conference. Proceedings

SP - 122

EP - 129

BT - 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)

A2 - Demirors, Onur

A2 - Turetken, Oktay

PB - IEEE Computer Society Press

T2 - Software Engineering and Advanced Applications

Y2 - 4 September 2013 through 6 September 2013

ER -

A Toolchain for Home Automation Controller Development

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Projects

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Totalflex

ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE

Cite this