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 language | English |
|---|---|
| Title of host publication | Unknown Host Publication |
| Publisher | Association for Computing Machinery |
| Pages | 71-72 |
| Number of pages | 2 |
| ISBN (Print) | 978-1-4503-0074-2 |
| DOIs | |
| Publication status | Published - 2010 |
| Event | Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010) - Washington DC, USA Duration: 1 Jan 2010 → … |
Conference
| Conference | Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010) |
|---|---|
| Period | 1/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
Vassev, E., Hinchey, M., & Nixon, P. (2010). Prototyping home automation wireless sensor networks with ASSL. In Unknown Host Publication (pp. 71-72). Association for Computing Machinery. https://doi.org/10.1145/1809049.1809060