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 proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
Titel39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
RedaktørerOnur Demirors, Oktay Turetken
Antal sider8
ForlagIEEE Computer Society Press
Publikationsdato2013
Sider122-129
DOI
StatusUdgivet - 2013
Begivenhed39th EUROMICRO Conference on Software Engineering Advanced Applications: EUROMICRO Conference on - Santander, Spanien
Varighed: 4 sep. 20136 sep. 2013
Konferencens nummer: 39

Konference

Konference39th EUROMICRO Conference on Software Engineering Advanced Applications
Nummer39
LandSpanien
BySantander
Periode04/09/201306/09/2013
NavnEuromicro Conference. Proceedings
ISSN1089-6503

Fingeraftryk Dyk ned i forskningsemnerne om 'A Toolchain for Home Automation Controller Development'. Sammen danner de et unikt fingeraftryk.

  • Totalflex

    Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

    ForskEL

    01/01/201231/12/2016

    Projekter: ProjektForskning

  • 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/201130/11/2014

    Projekter: ProjektForskning

  • Citationsformater