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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

7 Citationer (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.

Originalsprog	Engelsk
Titel	39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
Redaktører	Onur Demirors, Oktay Turetken
Antal sider	8
Forlag	IEEE Computer Society Press
Publikationsdato	2013
Sider	122-129
DOI	https://doi.org/10.1109/SEAA.2013.36
Status	Udgivet - 2013
Begivenhed	39th EUROMICRO Conference on Software Engineering Advanced Applications: EUROMICRO Conference on - Santander, Spanien Varighed: 4 sep. 2013 → 6 sep. 2013 Konferencens nummer: 39

Konference

Konference	39th EUROMICRO Conference on Software Engineering Advanced Applications
Nummer	39
Land/Område	Spanien
By	Santander
Periode	04/09/2013 → 06/09/2013

Navn	Euromicro Conference. Proceedings
ISSN	1089-6503

Adgang til dokumentet

10.1109/SEAA.2013.36

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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
Projekter: Projekt › Forskning
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
ForskEL
01/01/2012 → 31/12/2016
Projekter: Projekt › Forskning
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
Projekter: Projekt › Forskning

Citationsformater

@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. i O Demirors & O Turetken (red), 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society Press, Euromicro Conference. Proceedings, s. 122-129, 39th EUROMICRO Conference on Software Engineering Advanced Applications, Santander, Spanien, 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). red. / Onur Demirors; Oktay Turetken. IEEE Computer Society Press, 2013. s. 122-129 (Euromicro Conference. Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Totalflex

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

Citationsformater