{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/78789"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/78789","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Design of low complexity fault tolerance for life critical situation awareness systems","abstract":"In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatment pose significant challenges. This work covers my contribution to one such system in development of its low complexity workflow which enhances situation awareness and in the design and implementation of it fault tolerance. In the first part of this document, we cover a validation protocol to enforce the correct execution sequence of treatments, preconditions validation, side effects monitoring and checking expected responses based on patho-physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments.The proposed protocol dynamically adapts to the patient conditions and side effects of treatments. A cardiac arrest scenario is used as a case study to verify the safety properties of the proposed protocol. In the second part of this document, we describe the integration of some well understood fault tolerance strategies in context of safety critical systems. We list out the requirements of our system and explore the traditional Active/Standby in context of certain guiding design principles to fit our specific requirement. Like any software engineering project, we design test suites to ensure QOS. We go a step further and try to make this design verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.","abstract_html":"In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatment pose significant challenges. This work covers my contribution to one such system in development of its low complexity workflow which enhances situation awareness and in the design and implementation of it fault tolerance. In the first part of this document, we cover a validation protocol to enforce the correct execution sequence of treatments, preconditions validation, side effects monitoring and checking expected responses based on patho-physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments.The proposed protocol dynamically adapts to the patient conditions and side effects of treatments. A cardiac arrest scenario is used as a case study to verify the safety properties of the proposed protocol. In the second part of this document, we describe the integration of some well understood fault tolerance strategies in context of safety critical systems. We list out the requirements of our system and explore the traditional Active/Standby in context of certain guiding design principles to fit our specific requirement. Like any software engineering project, we design test suites to ensure QOS. We go a step further and try to make this design verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.","abstract_has_math":false,"creators":["Raguraman, Dhashrath"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-04-28","date_published":"2015-04-28","updated_at":"2026-07-22T22:26:12Z","subjects":["Cyber Physical Systems","Fault Tolerance","Cardiac Resuscitation"],"languages":["en"],"rights":["Copyright 2015 Dhashrath Raguraman"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/78789","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Raguraman, Dhashrath"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-04-28","2015-5","2015-07-22T22:46:04Z","2017-07-23T09:15:28Z","2015-05"]},{"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":["Cyber Physical Systems","Fault Tolerance","Cardiac Resuscitation"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2015 Dhashrath Raguraman"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/78789"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatment pose significant challenges. This work covers my contribution to one such system in development of its low complexity workflow which enhances situation awareness and in the design and implementation of it fault tolerance. In the first part of this document, we cover a validation protocol to enforce the correct execution sequence of treatments, preconditions validation, side effects monitoring and checking expected responses based on patho-physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments.The proposed protocol dynamically adapts to the patient conditions and side effects of treatments. A cardiac arrest scenario is used as a case study to verify the safety properties of the proposed protocol. In the second part of this document, we describe the integration of some well understood fault tolerance strategies in context of safety critical systems. We list out the requirements of our system and explore the traditional Active/Standby in context of certain guiding design principles to fit our specific requirement. Like any software engineering project, we design test suites to ensure QOS. We go a step further and try to make this design verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.","Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2017-05-01","The student, Dhashrath Raguraman, accepted the attached license on 2015-04-27 at 17:00.","The student, Dhashrath Raguraman, submitted this Thesis for approval on 2015-04-27 at 17:00.","This Thesis was approved for publication on 2015-04-28 at 13:24.","DSpace SAF Submission Ingestion Package generated from Vireo submission #8132 on 2015-07-22 at 14:26:30","Made available in DSpace on 2015-07-22T22:46:04Z (GMT). No. of bitstreams: 3 RAGURAMAN-THESIS-2015.pdf: 898920 bytes, checksum: 41c4ea19ed6abb697b5e18fec065e1d5 (MD5) dr_thesis_src.zip: 2079878 bytes, checksum: 08a05a965a726fe5cdcf0b265cd524ab (MD5) LICENSE.txt: 4216 bytes, checksum: 35b6d1d924c6e020cdd12a5377752da4 (MD5) Previous issue date: 2015-04-28","Embargo set by: Seth Robbins for item 80030 Lift date: 2017-07-22T22:46:21Z Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 80030 on 2017-07-23T09:15:28Z."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Design of low complexity fault tolerance for life critical situation awareness systems"]}]}],"canonical_facts":{"dc:creator":["Raguraman, Dhashrath"],"dc:date":["2015-04-28","2015-5","2015-07-22T22:46:04Z","2017-07-23T09:15:28Z","2015-05"],"dc:description":["In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatment pose significant challenges. This work covers my contribution to one such system in development of its low complexity workflow which enhances situation awareness and in the design and implementation of it fault tolerance. In the first part of this document, we cover a validation protocol to enforce the correct execution sequence of treatments, preconditions validation, side effects monitoring and checking expected responses based on patho-physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments.The proposed protocol dynamically adapts to the patient conditions and side effects of treatments. A cardiac arrest scenario is used as a case study to verify the safety properties of the proposed protocol. In the second part of this document, we describe the integration of some well understood fault tolerance strategies in context of safety critical systems. We list out the requirements of our system and explore the traditional Active/Standby in context of certain guiding design principles to fit our specific requirement. Like any software engineering project, we design test suites to ensure QOS. We go a step further and try to make this design verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.","Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2017-05-01","The student, Dhashrath Raguraman, accepted the attached license on 2015-04-27 at 17:00.","The student, Dhashrath Raguraman, submitted this Thesis for approval on 2015-04-27 at 17:00.","This Thesis was approved for publication on 2015-04-28 at 13:24.","DSpace SAF Submission Ingestion Package generated from Vireo submission #8132 on 2015-07-22 at 14:26:30","Made available in DSpace on 2015-07-22T22:46:04Z (GMT). No. of bitstreams: 3 RAGURAMAN-THESIS-2015.pdf: 898920 bytes, checksum: 41c4ea19ed6abb697b5e18fec065e1d5 (MD5) dr_thesis_src.zip: 2079878 bytes, checksum: 08a05a965a726fe5cdcf0b265cd524ab (MD5) LICENSE.txt: 4216 bytes, checksum: 35b6d1d924c6e020cdd12a5377752da4 (MD5) Previous issue date: 2015-04-28","Embargo set by: Seth Robbins for item 80030 Lift date: 2017-07-22T22:46:21Z Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 80030 on 2017-07-23T09:15:28Z."],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/78789"],"dc:language":["en"],"dc:rights":["Copyright 2015 Dhashrath Raguraman"],"dc:subject":["Cyber Physical Systems","Fault Tolerance","Cardiac Resuscitation"],"dc:title":["Design of low complexity fault tolerance for life critical situation awareness systems"],"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:26:12Z"}