Prototyping home automation wireless sensor networks with ASSL

Emil Vassev, Mike Hinchey, Paddy Nixon

Research output: A Conference proceeding or a Chapter in BookConference 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 languageEnglish
Title of host publicationICAC '10: Proceedings of the 7th international conference on Autonomic computing
EditorsManish Parashar, Renato Figueiredo, Emre Kıcıman
Place of PublicationUnited States
PublisherAssociation for Computing Machinery (ACM)
Pages71-72
Number of pages2
ISBN (Print)9781450300742
DOIs
Publication statusPublished - 2010
Externally publishedYes
EventICAC '10: 7th International Conference on Autonomic Computing - Washington DC, Washington DC, United States
Duration: 7 Jun 201011 Jun 2010

Conference

ConferenceICAC '10: 7th International Conference on Autonomic Computing
Abbreviated titleICAC '10
CountryUnited States
CityWashington DC
Period7/06/1011/06/10

Fingerprint Dive into the research topics of 'Prototyping home automation wireless sensor networks with ASSL'. Together they form a unique fingerprint.

  • Cite this

    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 (pp. 71-72). Association for Computing Machinery (ACM). https://doi.org/10.1145/1809049.1809060