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]
 | 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: | 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 |
| Downloads: | 0 |
Repository Staff Only: item control page