OKAPI: In support of application correctness in smart home environments

Themis Melissaris, Kelly Shaw, Margaret Martonosi

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

Abstract

Typical Internet of Things (IoT) and smart home environments are composed of smart devices that are controlled and orchestrated by applications developed and run in the cloud. Correctness is important for these applications, since they control the home's physical security (i.e. door locks) and systems (i.e. HVAC). Unfortunately, many smart home applications and systems exhibit poor security characteristics and insufficient system support. Instead they force application developers to reason about a combination of complicated scenarios- A synchronous events and distributed devices. This paper demonstrates that existing cloud-based smart home platforms provide insufficient support for applications to correctly deal with concurrency and data consistency issues. These weaknesses expose platform vulnerabilities that affect system correctness and security (e.g. a smart lock erroneously unlocked). To address this, we present OKAPI, an application-level API that provides strict atomicity and event ordering. We evaluate our work using the Samsung SmartThings smart home devices, hub, and cloud infrastructure. In addition to identifying shortfalls of cloud-based smart home platforms, we propose design guidelines to make application developers oblivious of smart home platforms' consistency and concurrency intricacies.

Original languageEnglish (US)
Title of host publication2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages173-180
Number of pages8
ISBN (Electronic)9781728117966
DOIs
StatePublished - Jun 2019
Event4th International Conference on Fog and Mobile Edge Computing, FMEC 2019 - Rome, Italy
Duration: Jun 10 2019Jun 13 2019

Publication series

Name2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019

Conference

Conference4th International Conference on Fog and Mobile Edge Computing, FMEC 2019
CountryItaly
CityRome
Period6/10/196/13/19

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint Dive into the research topics of 'OKAPI: In support of application correctness in smart home environments'. Together they form a unique fingerprint.

  • Cite this

    Melissaris, T., Shaw, K., & Martonosi, M. (2019). OKAPI: In support of application correctness in smart home environments. In 2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019 (pp. 173-180). [8795349] (2019 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/FMEC.2019.8795349