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)


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


Konference39th EUROMICRO Conference on Software Engineering Advanced Applications
NavnEuromicro Conference. Proceedings

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.



    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


    Projekter: ProjektForskning

  • Citationsformater