eCite Digital Repository

Prototyping home automation wireless sensor networks with ASSL


Vassev, E and Hinchey, M and Nixon, P, Prototyping home automation wireless sensor networks with ASSL, Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010), 7-10 June 2010, Washington DC, USA, pp. 71-72. ISBN 978-1-4503-0074-2 (2010) [Conference Extract]

Not available

DOI: 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 Details

Item Type:Conference Extract
Keywords:wireless sensor networks, home automation, prototyping, ASSL
Research Division:Information and Computing Sciences
Research Group:Human-centred computing
Research Field:Pervasive computing
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, P (Professor Paddy Nixon)
ID Code:97698
Year Published:2010
Deposited By:Information and Communication Technology
Deposited On:2015-01-08
Last Modified:2015-01-13

Repository Staff Only: item control page