Making safety guarantees in smart environments

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.

Name thesis:degree_name

M.S.

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2024

Author dc:creator

• Schuler, Jadon Timothy

Contributors dc:contributor

• Gupta, Indranil

• Distributed Systems
• Iot
• Safety
• Smart Homes

Statement dc:rights

• Copyright 2024 Jadon Timothy Schuler

Language dc:language

en, eng

Handle dc:identifier

https://hdl.handle.net/2142/124293

OAI record oai:identifier

https://www.ideals.illinois.edu/oai-pmh?verb=GetRecord&metadataPrefix=etdms&identifier=oai%3Awww.ideals.illinois.edu%3A2142%2F124293