Prototyping home automation wireless sensor networks with ASSL

Emil Vassev, Mike Hinchey, Paddy Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 publicationProceeding of the 7th International Conference on Autonomic Computing, ICAC '10 and Co-located Workshops
Pages71-72
Number of pages2
DOIs
Publication statusPublished - 2010
Event7th IEEE/ACM International Conference on Autonomic Computing and Communications, ICAC-2010 and Co-located Workshops - Washington, DC, United States
Duration: 7 Jun 201011 Jun 2010

Publication series

NameProceeding of the 7th International Conference on Autonomic Computing, ICAC '10 and Co-located Workshops

Conference

Conference7th IEEE/ACM International Conference on Autonomic Computing and Communications, ICAC-2010 and Co-located Workshops
Country/TerritoryUnited States
CityWashington, DC
Period7/06/1011/06/10

Keywords

  • ASSL
  • home automation
  • prototyping
  • wireless sensor networks

Fingerprint

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

Cite this