Thumbnail Image
Publication

Prototyping home automation wireless sensor networks with ASSL

Date
2010
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.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
ICAC '10 Proceeding of the 7th International Conference on Autonomic Computing;pp. 71-72
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2010-Vassev-prototyping-au.pdf
Adobe PDF, 516.29 KB
Keywords
autonomic system specification language, wireless sensor networks
ULRR Identifiers
https://hdl.handle.net/10344/745
 https://doi.org/10.34961/9467
Funding code
Funding Information
Science Foundation Ireland (SFI), UCD
Sustainable Development Goals
External Link
License
Embedded videos