Prototyping home automation wireless sensor networks with ASSL

E Vassev, M Hinchey, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationUnknown Host Publication
PublisherAssociation for Computing Machinery
Pages71-72
Number of pages2
ISBN (Print)978-1-4503-0074-2
DOIs
Publication statusPublished (in print/issue) - 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 → …

Keywords

  • wireless sensor networks
  • home automation
  • prototyping
  • ASSL

Fingerprint

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

Cite this