Abstract
As smart home environments get more complex and denser, they are becoming harder to manage. We present our ongoing work on the design and implementation of “SafeHome”, a system for management and coordination inside a smart home. SafeHome offers users and programmers the flexibility to specify safety properties in a declarative way and to specify routines of commands in an imperative way. SafeHome includes mechanisms which ensure that under concurrent routines and device failures, the smart home behavior is consistent (e.g., serializable) and safety properties are always guaranteed. SafeHome is intended to run on edge machines co-located with the smart home. Our design space opens the opportunity to borrow and adapt rich ideas and mechanisms from related areas such as databases and compilers.
| Original language | English (US) |
|---|---|
| State | Published - 2019 |
| Event | 2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, co-located with USENIX ATC 2019 - Renton, United States Duration: Jul 9 2019 → … |
Conference
| Conference | 2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, co-located with USENIX ATC 2019 |
|---|---|
| Country/Territory | United States |
| City | Renton |
| Period | 7/9/19 → … |
ASJC Scopus subject areas
- Computer Networks and Communications
- Hardware and Architecture
- Information Systems and Management