2026-09-21T08:09:24Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/124293 2024-09-16 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Gupta, Indranil 2024-05 application/pdf en text Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms The student, Jadon Schuler, accepted the attached license on 2024-04-15 at 16:49. The student, Jadon Schuler, submitted this Thesis for approval on 2024-04-21 at 16:55. This Thesis was approved for publication on 2024-04-26 at 16:03. DSpace SAF Submission Ingestion Package generated from Vireo submission #20420 on 2024-09-16 at 00:34:36 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. Text eng https://hdl.handle.net/2142/124293 Copyright 2024 Jadon Timothy Schuler Making safety guarantees in smart environments Schuler, Jadon Timothy 2024-04-26 Distributed Systems Iot Safety Smart Homes M.S. Thesis Computer Science University of Illinois at Urbana-Champaign Computer Science