Home, safehome: Smart home reliability with visibility and atomicity

Shegufta B. Ahsan, Rui Yang, Shadi A. Noghabi, Indranil Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Smart 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.

Original languageEnglish (US)
Title of host publicationEuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems
PublisherAssociation for Computing Machinery
Pages590-605
Number of pages16
ISBN (Electronic)9781450383349
DOIs
StatePublished - Apr 21 2021
Event16th European Conference on Computer Systems, EuroSys 2021 - Virtual, Online, United Kingdom
Duration: Apr 26 2021Apr 28 2021

Publication series

NameEuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems

Conference

Conference16th European Conference on Computer Systems, EuroSys 2021
Country/TerritoryUnited Kingdom
CityVirtual, Online
Period4/26/214/28/21

Keywords

  • Fault-tolerance
  • Reliability
  • Routines
  • Smart home

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Hardware and Architecture

Fingerprint

Dive into the research topics of 'Home, safehome: Smart home reliability with visibility and atomicity'. Together they form a unique fingerprint.

Cite this