{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/124293"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/124293","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Making safety guarantees in smart environments","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms","abstract_has_math":false,"creators":["Schuler, Jadon Timothy"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Gupta, Indranil"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2024,"date_issued":"2024-05","date_published":"2024-05","updated_at":"2026-07-22T22:25:00Z","subjects":["Distributed Systems","Iot","Safety","Smart Homes"],"languages":["en","eng"],"rights":["Copyright 2024 Jadon Timothy Schuler"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/124293","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Gupta, Indranil"]},{"key":"dc:creator","label":"Author","values":["Schuler, Jadon Timothy"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2024-05","2024-04-26"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Distributed Systems","Iot","Safety","Smart Homes"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en","eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2024 Jadon Timothy Schuler"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/124293"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Making safety guarantees in smart environments"]}]}],"canonical_facts":{"dc:contributor":["Gupta, Indranil"],"dc:creator":["Schuler, Jadon Timothy"],"dc:date":["2024-05","2024-04-26"],"dc:description":["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."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/124293"],"dc:language":["en","eng"],"dc:rights":["Copyright 2024 Jadon Timothy Schuler"],"dc:subject":["Distributed Systems","Iot","Safety","Smart Homes"],"dc:title":["Making safety guarantees in smart environments"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:00Z"}