{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/105794"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/105794","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Safety-driven software design and engineering in medical cyber-physical-human systems","abstract":"This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human System (CPHS) development from various perspectives including (1) System Design for Networked Medical CPHS, (2) Safety-driven Requirement and Software Traceability, and (3) System and Human Behavior Modeling. For (1) System Design for Networked Medical CPHS, we present two works including failsafe system design for networked medical systems and a communication middleware that provides protected communication. First, we present a system design framework to handle medical device interoperation hazards for networked systems. The hazards include temporal safety hazards, device interoperation hazards, and potential network failures when performing medical tasks. Second, we present a communication middleware that utilizes existing medical knowledge to provide safe communication among system components and prevent accidental or malicious modifications of the exchanged information. Moreover, the communication middleware unifies the communication mechanisms among Statechart models, software, and medical devices. For (2) Safety-driven Requirement and Software Traceability, we present two works. The first work is a safety-driven requirement traceability framework to trace safety requirements, system design, and safety analysis. The safety-driven requirement traceability framework provides mechanisms and algorithms that ensure the safety analysis is always up-to-date when a requirement or a system design model changes. As such, the safety analysis can provide the proof of system safety while the system is evolving. In the second work, we design a requirement traceability framework for distributed systems based on information fow. The requirement traceability framework traces the exchanged information across software artifacts written in different forms such as Statechart or object-oriented programming languages. The framework also manages changes in the exchanged information and provides the impact analysis algorithms to detect impacted system components and requirements in the systems. For (3) System and Human Behavior Modeling, we developed a set of common preventable medical errors severed to guide the design, model, and verification of a medical CPHS.","abstract_html":"This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human System (CPHS) development from various perspectives including (1) System Design for Networked Medical CPHS, (2) Safety-driven Requirement and Software Traceability, and (3) System and Human Behavior Modeling. For (1) System Design for Networked Medical CPHS, we present two works including failsafe system design for networked medical systems and a communication middleware that provides protected communication. First, we present a system design framework to handle medical device interoperation hazards for networked systems. The hazards include temporal safety hazards, device interoperation hazards, and potential network failures when performing medical tasks. Second, we present a communication middleware that utilizes existing medical knowledge to provide safe communication among system components and prevent accidental or malicious modifications of the exchanged information. Moreover, the communication middleware unifies the communication mechanisms among Statechart models, software, and medical devices. For (2) Safety-driven Requirement and Software Traceability, we present two works. The first work is a safety-driven requirement traceability framework to trace safety requirements, system design, and safety analysis. The safety-driven requirement traceability framework provides mechanisms and algorithms that ensure the safety analysis is always up-to-date when a requirement or a system design model changes. As such, the safety analysis can provide the proof of system safety while the system is evolving. In the second work, we design a requirement traceability framework for distributed systems based on information fow. The requirement traceability framework traces the exchanged information across software artifacts written in different forms such as Statechart or object-oriented programming languages. The framework also manages changes in the exchanged information and provides the impact analysis algorithms to detect impacted system components and requirements in the systems. For (3) System and Human Behavior Modeling, we developed a set of common preventable medical errors severed to guide the design, model, and verification of a medical CPHS.","abstract_has_math":false,"creators":["Ou, Yi-Zong"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Sha, Lui","Caccamo, Marco","Gunter, Carl A.","Ren, Shangping"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2019,"date_issued":"2019-11-26T20:49:22Z","date_published":"2019-11-26T20:49:22Z","updated_at":"2026-07-22T22:24:45Z","subjects":["Medical Cyber-Physical-Human System (CPHS), Open-Loop Safe Systems, Safety-driven Requirement and Software Traceability, System and Human Behavior Modeling"],"languages":["en"],"rights":["Copyright 2019 Yi-Zong Ou"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/105794","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sha, Lui","Caccamo, Marco","Gunter, Carl A.","Ren, Shangping"]},{"key":"dc:creator","label":"Author","values":["Ou, Yi-Zong"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2019-11-26T20:49:22Z","2021-11-27T10:15:26Z","2019-07-09","2019-08"]},{"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":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"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":["Medical Cyber-Physical-Human System (CPHS), Open-Loop Safe Systems, Safety-driven Requirement and Software Traceability, System and Human Behavior Modeling"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2019 Yi-Zong Ou"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/105794"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human System (CPHS) development from various perspectives including (1) System Design for Networked Medical CPHS, (2) Safety-driven Requirement and Software Traceability, and (3) System and Human Behavior Modeling. For (1) System Design for Networked Medical CPHS, we present two works including failsafe system design for networked medical systems and a communication middleware that provides protected communication. First, we present a system design framework to handle medical device interoperation hazards for networked systems. The hazards include temporal safety hazards, device interoperation hazards, and potential network failures when performing medical tasks. Second, we present a communication middleware that utilizes existing medical knowledge to provide safe communication among system components and prevent accidental or malicious modifications of the exchanged information. Moreover, the communication middleware unifies the communication mechanisms among Statechart models, software, and medical devices. For (2) Safety-driven Requirement and Software Traceability, we present two works. The first work is a safety-driven requirement traceability framework to trace safety requirements, system design, and safety analysis. The safety-driven requirement traceability framework provides mechanisms and algorithms that ensure the safety analysis is always up-to-date when a requirement or a system design model changes. As such, the safety analysis can provide the proof of system safety while the system is evolving. In the second work, we design a requirement traceability framework for distributed systems based on information fow. The requirement traceability framework traces the exchanged information across software artifacts written in different forms such as Statechart or object-oriented programming languages. The framework also manages changes in the exchanged information and provides the impact analysis algorithms to detect impacted system components and requirements in the systems. For (3) System and Human Behavior Modeling, we developed a set of common preventable medical errors severed to guide the design, model, and verification of a medical CPHS.","Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2021-08-01","The student, Yi-Zong Ou, accepted the attached license on 2019-07-08 at 16:50.","The student, Yi-Zong Ou, submitted this Dissertation for approval on 2019-07-08 at 17:01.","This Dissertation was approved for publication on 2019-07-09 at 10:04.","DSpace SAF Submission Ingestion Package generated from Vireo submission #14206 on 2019-11-26 at 13:04:39","Made available in DSpace on 2019-11-26T20:49:22Z (GMT). No. of bitstreams: 3 OU-DISSERTATION-2019.pdf: 2293977 bytes, checksum: 19c7786f87012caad93bfc5bc33a2771 (MD5) LICENSE.txt: 4206 bytes, checksum: bf752c0d0aaa2863bda8596cbb768dec (MD5) PROQUEST_LICENSE.txt: 4552 bytes, checksum: ec5cf114ed6468a477957608958e7288 (MD5) Previous issue date: 2019-07-09","Embargo set by: Seth Robbins for item 112939 Lift date: 2021-11-26T20:49:41Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","U of I Only Restriction Lifted for Item 112939 on 2021-11-27T10:15:26Z."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Safety-driven software design and engineering in medical cyber-physical-human systems"]}]}],"canonical_facts":{"dc:contributor":["Sha, Lui","Caccamo, Marco","Gunter, Carl A.","Ren, Shangping"],"dc:creator":["Ou, Yi-Zong"],"dc:date":["2019-11-26T20:49:22Z","2021-11-27T10:15:26Z","2019-07-09","2019-08"],"dc:description":["This dissertation addresses the questions of how to ensure safety in medical Cyber-Physical-Human System (CPHS) development from various perspectives including (1) System Design for Networked Medical CPHS, (2) Safety-driven Requirement and Software Traceability, and (3) System and Human Behavior Modeling. For (1) System Design for Networked Medical CPHS, we present two works including failsafe system design for networked medical systems and a communication middleware that provides protected communication. First, we present a system design framework to handle medical device interoperation hazards for networked systems. The hazards include temporal safety hazards, device interoperation hazards, and potential network failures when performing medical tasks. Second, we present a communication middleware that utilizes existing medical knowledge to provide safe communication among system components and prevent accidental or malicious modifications of the exchanged information. Moreover, the communication middleware unifies the communication mechanisms among Statechart models, software, and medical devices. For (2) Safety-driven Requirement and Software Traceability, we present two works. The first work is a safety-driven requirement traceability framework to trace safety requirements, system design, and safety analysis. The safety-driven requirement traceability framework provides mechanisms and algorithms that ensure the safety analysis is always up-to-date when a requirement or a system design model changes. As such, the safety analysis can provide the proof of system safety while the system is evolving. In the second work, we design a requirement traceability framework for distributed systems based on information fow. The requirement traceability framework traces the exchanged information across software artifacts written in different forms such as Statechart or object-oriented programming languages. The framework also manages changes in the exchanged information and provides the impact analysis algorithms to detect impacted system components and requirements in the systems. For (3) System and Human Behavior Modeling, we developed a set of common preventable medical errors severed to guide the design, model, and verification of a medical CPHS.","Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2021-08-01","The student, Yi-Zong Ou, accepted the attached license on 2019-07-08 at 16:50.","The student, Yi-Zong Ou, submitted this Dissertation for approval on 2019-07-08 at 17:01.","This Dissertation was approved for publication on 2019-07-09 at 10:04.","DSpace SAF Submission Ingestion Package generated from Vireo submission #14206 on 2019-11-26 at 13:04:39","Made available in DSpace on 2019-11-26T20:49:22Z (GMT). No. of bitstreams: 3 OU-DISSERTATION-2019.pdf: 2293977 bytes, checksum: 19c7786f87012caad93bfc5bc33a2771 (MD5) LICENSE.txt: 4206 bytes, checksum: bf752c0d0aaa2863bda8596cbb768dec (MD5) PROQUEST_LICENSE.txt: 4552 bytes, checksum: ec5cf114ed6468a477957608958e7288 (MD5) Previous issue date: 2019-07-09","Embargo set by: Seth Robbins for item 112939 Lift date: 2021-11-26T20:49:41Z Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD system","U of I Only Restriction Lifted for Item 112939 on 2021-11-27T10:15:26Z."],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/105794"],"dc:language":["en"],"dc:rights":["Copyright 2019 Yi-Zong Ou"],"dc:subject":["Medical Cyber-Physical-Human System (CPHS), Open-Loop Safe Systems, Safety-driven Requirement and Software Traceability, System and Human Behavior Modeling"],"dc:title":["Safety-driven software design and engineering in medical cyber-physical-human systems"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:45Z"}