Prototyping home automation wireless sensor networks with ASSL

E Vassev, M Hinchey, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages71-72
Number of pages2
DOIs
Publication statusPublished - 2010
EventProceedings of the 7th International Conference on Autonomic Computing (ICAC 2010) - Washington DC, USA
Duration: 1 Jan 2010 → …

Conference

ConferenceProceedings of the 7th International Conference on Autonomic Computing (ICAC 2010)
Period1/01/10 → …

Fingerprint

Specification languages
Wireless sensor networks
Automation
Experiments

Keywords

  • wireless sensor networks
  • home automation
  • prototyping
  • ASSL

Cite this

Vassev, E ; Hinchey, M ; Nixon, Patrick. / Prototyping home automation wireless sensor networks with ASSL. Unknown Host Publication. 2010. pp. 71-72
@inproceedings{50bc63dd91f845be9b576e944886e787,
title = "Prototyping home automation wireless sensor networks with ASSL",
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.",
keywords = "wireless sensor networks, home automation, prototyping, ASSL",
author = "E Vassev and M Hinchey and Patrick Nixon",
year = "2010",
doi = "10.1145/1809049.1809060",
language = "English",
isbn = "978-1-4503-0074-2",
pages = "71--72",
booktitle = "Unknown Host Publication",

}

Vassev, E, Hinchey, M & Nixon, P 2010, Prototyping home automation wireless sensor networks with ASSL. in Unknown Host Publication. pp. 71-72, Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010), 1/01/10. https://doi.org/10.1145/1809049.1809060

Prototyping home automation wireless sensor networks with ASSL. / Vassev, E; Hinchey, M; Nixon, Patrick.

Unknown Host Publication. 2010. p. 71-72.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Prototyping home automation wireless sensor networks with ASSL

AU - Vassev, E

AU - Hinchey, M

AU - Nixon, Patrick

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - wireless sensor networks

KW - home automation

KW - prototyping

KW - ASSL

U2 - 10.1145/1809049.1809060

DO - 10.1145/1809049.1809060

M3 - Conference contribution

SN - 978-1-4503-0074-2

SP - 71

EP - 72

BT - Unknown Host Publication

ER -