Abstract
| Language | English |
|---|---|
| Title of host publication | Unknown Host Publication |
| Pages | 71-72 |
| Number of pages | 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 → … |
Fingerprint
Keywords
- wireless sensor networks
- home automation
- prototyping
- ASSL
Cite this
}
Prototyping home automation wireless sensor networks with ASSL. / Vassev, E; Hinchey, M; Nixon, Patrick.
Unknown Host Publication. 2010. p. 71-72.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Prototyping home automation wireless sensor networks with ASSL
AU - Vassev, E
AU - Hinchey, M
AU - Nixon, Patrick
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
KW - wireless sensor networks
KW - home automation
KW - prototyping
KW - ASSL
U2 - 10.1145/1809049.1809060
DO - 10.1145/1809049.1809060
M3 - Conference contribution
SN - 978-1-4503-0074-2
SP - 71
EP - 72
BT - Unknown Host Publication
ER -