Back To Schedule
Tuesday, July 9 • 10:35am - 10:50am
Home, SafeHome: Ensuring a Safe and Reliable Home Using the Edge

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

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.


Shegufta Bakht Ahsan

University of Illinois at Urbana Champaign

Rui Yang

University of Illinois at Urbana Champaign

Shadi Abdollahian Noghabi

Microsoft Research

Indranil Gupta

University of Illinois at Urbana Champaign

Tuesday July 9, 2019 10:35am - 10:50am PDT
HotEdge: Grand Ballroom VII–IX