Home, safehome: Ensuring a safe and reliable home using the edge

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

Research output: Contribution to conferencePaper

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 languageEnglish (US)
StatePublished - Jan 1 2019
Event2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, co-located with USENIX ATC 2019 - Renton, United States
Duration: Jul 9 2019 → …

Conference

Conference2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, co-located with USENIX ATC 2019
CountryUnited States
CityRenton
Period7/9/19 → …

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Information Systems and Management

Fingerprint Dive into the research topics of 'Home, safehome: Ensuring a safe and reliable home using the edge'. Together they form a unique fingerprint.

  • Cite this

    Ahsan, S. B., Yang, R., Noghabi, S. A., & Gupta, I. (2019). Home, safehome: Ensuring a safe and reliable home using the edge. Paper presented at 2nd USENIX Workshop on Hot Topics in Edge Computing, HotEdge 2019, co-located with USENIX ATC 2019, Renton, United States.