Prototyping home automation wireless sensor networks with ASSL

Emil Vassev, Mike Hinchey, Paddy Nixon

Research output: A Conference proceeding or a Chapter in BookConference contributionpeer-review

3 Citations (Scopus)


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)
Number of pages2
ISBN (Print)9781450300742
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


ConferenceICAC '10: 7th International Conference on Autonomic Computing
Abbreviated titleICAC '10
Country/TerritoryUnited States
CityWashington DC


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

Cite this