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


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