Home, SafeHome: Ensuring a Safe and Reliable Home Using the Edge

Authors: 

Shegufta Bakht Ahsan and Rui Yang, University of Illinois at Urbana Champaign; Shadi Abdollahian Noghabi, Microsoft Research; Indranil Gupta, University of Illinois at Urbana Champaign

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.

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX
@inproceedings {234783,
author = {Shegufta Bakht Ahsan and Rui Yang and Shadi Abdollahian Noghabi and Indranil Gupta},
title = {Home, SafeHome: Ensuring a Safe and Reliable Home Using the Edge},
booktitle = {2nd {USENIX} Workshop on Hot Topics in Edge Computing (HotEdge 19)},
year = {2019},
address = {Renton, WA},
url = {https://www.usenix.org/conference/hotedge19/presentation/ahsan},
publisher = {{USENIX} Association},
month = jul,
}