Ulster University Logo

Prototyping home automation wireless sensor networks with ASSL

Vassev, E, Hinchey, M and Nixon, Patrick (2010) Prototyping home automation wireless sensor networks with ASSL. In: Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010), Washington DC, USA. ACM. 2 pp. [Conference contribution]

Full text not available from this repository.

URL: http://ecite.utas.edu.au/97698

DOI: 10.1145/1809049.1809060

Abstract

We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.

Item Type:Conference contribution (Other)
Keywords:wireless sensor networks, home automation, prototyping, ASSL
Research Institutes and Groups:Computer Science Research Institute
ID Code:34440
Deposited By: Wendy Aiken (Admin)
Deposited On:21 Apr 2016 10:07
Last Modified:21 Apr 2016 10:07

Repository Staff Only: item control page