eCite Digital Repository

Prototyping home automation wireless sensor networks with ASSL

Citation

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]


Preview
PDF
Not available
735Kb
  

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

Item Type:Conference Extract
Keywords:wireless sensor networks, home automation, prototyping, ASSL
Research Division:Information and Computing Sciences
Research Group:Distributed Computing
Research Field:Ubiquitous Computing
Objective Division:Information and Communication Services
Objective Group:Computer Software and Services
Objective Field:Application Tools and System Utilities
Author:Nixon, P (Professor Paddy Nixon)
ID Code:97698
Year Published:2010
Deposited By:Computing and Information Systems
Deposited On:2015-01-08
Last Modified:2015-01-13
Downloads:0

Repository Staff Only: item control page