Director of Research (if dissertation) or Advisor (if thesis)
Gupta, Indranil
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Keyword(s)
Distributed systems
IoT
safety
smart homes
Abstract
IoT devices in smart homes and buildings are an emerging class of distributed systems with key safety requirements. This paper presents a new grammar for safety clauses in such smart spaces, and new algorithms for static verification of multiple safety properties across multiple routines running inside such smart spaces. We prove the latter problem is NP-hard, and we present and analyze a novel and understandable algorithm for the static version of the problem. The algorithm navigates the combinatorial state space of possible states in the smart space efficiently, reliably catches 100% of safety violations, and minimizes false positives.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
