Prototyping home automation wireless sensor networks with ASSL

Emil Vassev; Mike Hinchey; Paddy Nixon

doi:10.1145/1809049.1809060

Prototyping home automation wireless sensor networks with ASSL

Emil Vassev, Mike Hinchey, Paddy Nixon

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

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	ICAC '10: Proceedings of the 7th international conference on Autonomic computing
Editors	Manish Parashar, Renato Figueiredo, Emre Kıcıman
Place of Publication	United States
Publisher	Association for Computing Machinery (ACM)
Pages	71-72
Number of pages	2
ISBN (Print)	9781450300742
DOIs	https://doi.org/10.1145/1809049.1809060
Publication status	Published - 2010
Externally published	Yes
Event	ICAC '10: 7th International Conference on Autonomic Computing - Washington DC, Washington DC, United States Duration: 7 Jun 2010 → 11 Jun 2010

Conference

Conference	ICAC '10: 7th International Conference on Autonomic Computing
Abbreviated title	ICAC '10
Country/Territory	United States
City	Washington DC
Period	7/06/10 → 11/06/10

Access to Document

10.1145/1809049.1809060

https://ulir.ul.ie/bitstream/handle/10344/745/2010-Vassev-prototyping-au.pdf?sequence=2

Cite this

@inproceedings{f982ca6cfc4047779a050132c870604e,

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 = "Emil Vassev and Mike Hinchey and Paddy Nixon",

year = "2010",

doi = "10.1145/1809049.1809060",

language = "English",

isbn = "9781450300742",

pages = "71--72",

editor = "Manish Parashar and Renato Figueiredo and Emre Kıcıman",

booktitle = "ICAC '10: Proceedings of the 7th international conference on Autonomic computing",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "ICAC '10: 7th International Conference on Autonomic Computing, ICAC '10 ; Conference date: 07-06-2010 Through 11-06-2010",

}

Vassev, E, Hinchey, M & Nixon, P 2010, Prototyping home automation wireless sensor networks with ASSL. in M Parashar, R Figueiredo & E Kıcıman (eds), ICAC '10: Proceedings of the 7th international conference on Autonomic computing. Association for Computing Machinery (ACM), United States, pp. 71-72, ICAC '10: 7th International Conference on Autonomic Computing, Washington DC, Washington, United States, 7/06/10. https://doi.org/10.1145/1809049.1809060

Prototyping home automation wireless sensor networks with ASSL. / Vassev, Emil; Hinchey, Mike; Nixon, Paddy.
ICAC '10: Proceedings of the 7th international conference on Autonomic computing. ed. / Manish Parashar; Renato Figueiredo; Emre Kıcıman. United States: Association for Computing Machinery (ACM), 2010. p. 71-72.

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

TY - GEN

T1 - Prototyping home automation wireless sensor networks with ASSL

AU - Vassev, Emil

AU - Hinchey, Mike

AU - Nixon, Paddy

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 - 9781450300742

SP - 71

EP - 72

BT - ICAC '10: Proceedings of the 7th international conference on Autonomic computing

A2 - Parashar, Manish

A2 - Figueiredo, Renato

A2 - Kıcıman, Emre

PB - Association for Computing Machinery (ACM)

CY - United States

T2 - ICAC '10: 7th International Conference on Autonomic Computing

Y2 - 7 June 2010 through 11 June 2010

ER -

Prototyping home automation wireless sensor networks with ASSL

Abstract

Conference

Access to Document

Fingerprint

Cite this