@inproceedings{9d6160ddd70249a29cfd2f986f4a51f8,
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 = "ASSL, home automation, prototyping, wireless sensor networks",
author = "Emil Vassev and Mike Hinchey and Paddy Nixon",
year = "2010",
doi = "10.1145/1809049.1809060",
language = "English",
isbn = "9781450300742",
series = "Proceeding of the 7th International Conference on Autonomic Computing, ICAC '10 and Co-located Workshops",
pages = "71--72",
booktitle = "Proceeding of the 7th International Conference on Autonomic Computing, ICAC '10 and Co-located Workshops",
note = "7th IEEE/ACM International Conference on Autonomic Computing and Communications, ICAC-2010 and Co-located Workshops ; Conference date: 07-06-2010 Through 11-06-2010",
}