Abstract | ||
---|---|---|
ABSTRACTSmart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes when users or triggers initiate routines (i.e., a sequence of commands), concurrent routines and device failures can cause incongruent outcomes. We describe SafeHome, a system that provides notions of atomicity and serial equivalence for smart homes. Due to the human-facing nature of smart homes, SafeHome offers a spectrum of visibility models which trade off between responsiveness vs. isolation of the smart home. We implemented SafeHome and performed workload-driven experiments. We find that a weak visibility model, called eventual visibility, is almost as fast as today's status quo (up to 23% slower) and yet guarantees serially-equivalent end states. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1145/3447786.3456261 | EUROSYS |
Keywords | DocType | Citations |
Smart Home, Routines, Reliability, Fault-tolerance | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shegufta Bakht Ahsan | 1 | 9 | 3.44 |
Rui Yang | 2 | 34 | 9.17 |
Shadi A. Noghabi | 3 | 14 | 4.63 |
Indranil Gupta | 4 | 1837 | 143.92 |