Prototyping home automation wireless sensor networks with ASSL

E Vassev; M Hinchey; Patrick Nixon

doi:10.1145/1809049.1809060

Prototyping home automation wireless sensor networks with ASSL

E Vassev, M Hinchey, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceeding › Conference 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.

Original language	English
Title of host publication	Unknown Host Publication
Publisher	Association for Computing Machinery
Pages	71-72
Number of pages	2
ISBN (Print)	978-1-4503-0074-2
DOIs	https://doi.org/10.1145/1809049.1809060
Publication status	Published - 2010
Event	Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010) - Washington DC, USA Duration: 1 Jan 2010 → …

Conference

Conference	Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010)
Period	1/01/10 → …

Fingerprint

Keywords

wireless sensor networks
home automation
prototyping
ASSL

Cite this

Vassev, E., Hinchey, M., & Nixon, P. (2010). Prototyping home automation wireless sensor networks with ASSL. In Unknown Host Publication (pp. 71-72). Association for Computing Machinery. https://doi.org/10.1145/1809049.1809060

@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",

publisher = "Association for Computing Machinery",

address = "United States",

}

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

PB - Association for Computing Machinery

ER -

Access to Document

10.1145/1809049.1809060