{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/24480"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/24480","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems","abstract":"Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, often lead to expensive and complex system designs. In this work, we propose a multi-layer dependency framework to analyze safety-critical systems. This framework captures fine-grained dependencies in safety-critical systems compared with traditional dependency graph analysis. Due to this new approach, we are able to verify the safety of systems with a reduced degree of redundancy, compared with conventional reliability engineering methods. To show the effectiveness of the multi-layer dependency framework, we apply it to four applications in the medical and control domains. These studies show a reduction in the complexity of the associated safety subsystems, which translates to both a reduction in cost and a reliability improvement for the safety subsystem. We specifically discuss the the applicability of our dependency framework to distributed medical systems where the conventional two-layer dependency model is unable to analyze the safety of complicated supervisory frameworks for such systems.","abstract_html":"Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, often lead to expensive and complex system designs. In this work, we propose a multi-layer dependency framework to analyze safety-critical systems. This framework captures fine-grained dependencies in safety-critical systems compared with traditional dependency graph analysis. Due to this new approach, we are able to verify the safety of systems with a reduced degree of redundancy, compared with conventional reliability engineering methods. To show the effectiveness of the multi-layer dependency framework, we apply it to four applications in the medical and control domains. These studies show a reduction in the complexity of the associated safety subsystems, which translates to both a reduction in cost and a reliability improvement for the safety subsystem. We specifically discuss the the applicability of our dependency framework to distributed medical systems where the conventional two-layer dependency model is unable to analyze the safety of complicated supervisory frameworks for such systems.","abstract_has_math":false,"creators":["Rahmaniheris, Maryam"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Sha, Lui R."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-25T14:26:24Z","date_published":"2011-05-25T14:26:24Z","updated_at":"2026-07-22T22:25:23Z","subjects":["Safety-critical","Embedded Systems","Dependency Model","Reliability"],"languages":["en"],"rights":["Copyright 2011 Maryam Rahmaniheris"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/24480","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sha, Lui R."]},{"key":"dc:creator","label":"Author","values":["Rahmaniheris, Maryam"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-25T14:26:24Z","2013-05-26T10:00:19Z","2011-05"]},{"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":["Safety-critical","Embedded Systems","Dependency Model","Reliability"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2011 Maryam Rahmaniheris"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/24480"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, often lead to expensive and complex system designs. In this work, we propose a multi-layer dependency framework to analyze safety-critical systems. This framework captures fine-grained dependencies in safety-critical systems compared with traditional dependency graph analysis. Due to this new approach, we are able to verify the safety of systems with a reduced degree of redundancy, compared with conventional reliability engineering methods. To show the effectiveness of the multi-layer dependency framework, we apply it to four applications in the medical and control domains. These studies show a reduction in the complexity of the associated safety subsystems, which translates to both a reduction in cost and a reliability improvement for the safety subsystem. We specifically discuss the the applicability of our dependency framework to distributed medical systems where the conventional two-layer dependency model is unable to analyze the safety of complicated supervisory frameworks for such systems.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-03-10T22:20:25Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Rahmaniheris_Maryam.pdf: 552135 bytes, checksum: 9b802cafeca0626df174631011589a9e (MD5)","Made available in DSpace on 2011-05-25T14:26:24Z (GMT). No. of bitstreams: 2 Rahmaniheris_Maryam.pdf: 552082 bytes, checksum: a2e12b12555d4c66c5ab3a9c178107bb (MD5) license.txt: 4069 bytes, checksum: a4d215e4de3667cd1da779aa2c031631 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by William Ingram (wingram2@illinois.edu) on 2011-05-25T14:29:55Z Item is restricted until 2013-05-25T14:29:35Z","Item reinstated by Sarah Shreeves (sshreeve@illinois.edu) on 2013-05-26T10:00:19Z Item was in collections: University of Illinois Dissertations and Theses (ID: 204) Dissertations and Theses - Computer Science (ID: 587) No. of bitstreams: 3 Rahmaniheris_Maryam.pdf.txt: 108844 bytes, checksum: 218fb0e1af9d193e6220cc184bbc4073 (MD5) Rahmaniheris_Maryam.pdf: 552082 bytes, checksum: a2e12b12555d4c66c5ab3a9c178107bb (MD5) license.txt: 4069 bytes, checksum: a4d215e4de3667cd1da779aa2c031631 (MD5)","Item released from any restrictions by Sarah Shreeves (sshreeve@illinois.edu) on 2013-05-26T10:00:19Z"]},{"key":"dc:title","label":"Title","values":["A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems"]}]}],"canonical_facts":{"dc:contributor":["Sha, Lui R."],"dc:creator":["Rahmaniheris, Maryam"],"dc:date":["2011-05-25T14:26:24Z","2013-05-26T10:00:19Z","2011-05"],"dc:description":["Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, often lead to expensive and complex system designs. In this work, we propose a multi-layer dependency framework to analyze safety-critical systems. This framework captures fine-grained dependencies in safety-critical systems compared with traditional dependency graph analysis. Due to this new approach, we are able to verify the safety of systems with a reduced degree of redundancy, compared with conventional reliability engineering methods. To show the effectiveness of the multi-layer dependency framework, we apply it to four applications in the medical and control domains. These studies show a reduction in the complexity of the associated safety subsystems, which translates to both a reduction in cost and a reliability improvement for the safety subsystem. We specifically discuss the the applicability of our dependency framework to distributed medical systems where the conventional two-layer dependency model is unable to analyze the safety of complicated supervisory frameworks for such systems.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-03-10T22:20:25Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Rahmaniheris_Maryam.pdf: 552135 bytes, checksum: 9b802cafeca0626df174631011589a9e (MD5)","Made available in DSpace on 2011-05-25T14:26:24Z (GMT). No. of bitstreams: 2 Rahmaniheris_Maryam.pdf: 552082 bytes, checksum: a2e12b12555d4c66c5ab3a9c178107bb (MD5) license.txt: 4069 bytes, checksum: a4d215e4de3667cd1da779aa2c031631 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by William Ingram (wingram2@illinois.edu) on 2011-05-25T14:29:55Z Item is restricted until 2013-05-25T14:29:35Z","Item reinstated by Sarah Shreeves (sshreeve@illinois.edu) on 2013-05-26T10:00:19Z Item was in collections: University of Illinois Dissertations and Theses (ID: 204) Dissertations and Theses - Computer Science (ID: 587) No. of bitstreams: 3 Rahmaniheris_Maryam.pdf.txt: 108844 bytes, checksum: 218fb0e1af9d193e6220cc184bbc4073 (MD5) Rahmaniheris_Maryam.pdf: 552082 bytes, checksum: a2e12b12555d4c66c5ab3a9c178107bb (MD5) license.txt: 4069 bytes, checksum: a4d215e4de3667cd1da779aa2c031631 (MD5)","Item released from any restrictions by Sarah Shreeves (sshreeve@illinois.edu) on 2013-05-26T10:00:19Z"],"dc:identifier":["http://hdl.handle.net/2142/24480"],"dc:language":["en"],"dc:rights":["Copyright 2011 Maryam Rahmaniheris"],"dc:subject":["Safety-critical","Embedded Systems","Dependency Model","Reliability"],"dc:title":["A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems"],"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:23Z"}