{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/18451"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/18451","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Safe medical device interaction rules","abstract":"The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon. With the computerized medical devices and their technical complexity, any given clinical environment is a composition of complex com- puter systems. This introduces new form of risks, not only with the usage of a single device but with the interactions of multiple devices, which increase exponentially with respect to the number of devices. Even the most advanced medical devices fail to serve their purpose if their users cannot effectively use them, or if their complexity deters the users. This thesis presents an English-like configuration language for defining device interactions rules, which makes it easier for non-programmers like clinicians and surgeons to configure a complex medical system. The user- defined rules are then automatically and formally proven for its safety, by means of a state machine and the reachability of safe states within it. The automatic checker ensures that there is no error-by-omissions and conflicts between the rules.","abstract_html":"The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon. With the computerized medical devices and their technical complexity, any given clinical environment is a composition of complex com- puter systems. This introduces new form of risks, not only with the usage of a single device but with the interactions of multiple devices, which increase exponentially with respect to the number of devices. Even the most advanced medical devices fail to serve their purpose if their users cannot effectively use them, or if their complexity deters the users. This thesis presents an English-like configuration language for defining device interactions rules, which makes it easier for non-programmers like clinicians and surgeons to configure a complex medical system. The user- defined rules are then automatically and formally proven for its safety, by means of a state machine and the reachability of safe states within it. The automatic checker ensures that there is no error-by-omissions and conflicts between the rules.","abstract_has_math":false,"creators":["Lee, Yun Young"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Johnson, Ralph E."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-01-14T22:51:19Z","date_published":"2011-01-14T22:51:19Z","updated_at":"2026-07-22T22:25:11Z","subjects":["Medical Informatics","Safety","MDPnP","Medical Devices","Medical Device Interaction."],"languages":["en"],"rights":["Copyright 2010 Yun Young Lee"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/18451","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Johnson, Ralph E."]},{"key":"dc:creator","label":"Author","values":["Lee, Yun Young"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-01-14T22:51:19Z","2010-12"]},{"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":["Medical Informatics","Safety","MDPnP","Medical Devices","Medical Device Interaction."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2010 Yun Young Lee"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/18451"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon. With the computerized medical devices and their technical complexity, any given clinical environment is a composition of complex com- puter systems. This introduces new form of risks, not only with the usage of a single device but with the interactions of multiple devices, which increase exponentially with respect to the number of devices. Even the most advanced medical devices fail to serve their purpose if their users cannot effectively use them, or if their complexity deters the users. This thesis presents an English-like configuration language for defining device interactions rules, which makes it easier for non-programmers like clinicians and surgeons to configure a complex medical system. The user- defined rules are then automatically and formally proven for its safety, by means of a state machine and the reachability of safe states within it. The automatic checker ensures that there is no error-by-omissions and conflicts between the rules.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2010-12-01T19:55:00Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Lee_Yun Young.pdf: 682022 bytes, checksum: f04f20c5b42f53b518b8d0ec930a27a1 (MD5)","Made available in DSpace on 2011-01-14T22:51:19Z (GMT). No. of bitstreams: 2 Lee_YunYoung.pdf: 682020 bytes, checksum: bf2b876b9e1696c981dc737765b76ddb (MD5) license.txt: 4055 bytes, checksum: f5ec20c9b48f4b22bbbfcde6d6eee460 (MD5)"]},{"key":"dc:title","label":"Title","values":["Safe medical device interaction rules"]}]}],"canonical_facts":{"dc:contributor":["Johnson, Ralph E."],"dc:creator":["Lee, Yun Young"],"dc:date":["2011-01-14T22:51:19Z","2010-12"],"dc:description":["The advent of computerized medical devices has resulted in better accuracy and increased safety for patients and clinicians, yet medical accidents are still not uncommon. With the computerized medical devices and their technical complexity, any given clinical environment is a composition of complex com- puter systems. This introduces new form of risks, not only with the usage of a single device but with the interactions of multiple devices, which increase exponentially with respect to the number of devices. Even the most advanced medical devices fail to serve their purpose if their users cannot effectively use them, or if their complexity deters the users. This thesis presents an English-like configuration language for defining device interactions rules, which makes it easier for non-programmers like clinicians and surgeons to configure a complex medical system. The user- defined rules are then automatically and formally proven for its safety, by means of a state machine and the reachability of safe states within it. The automatic checker ensures that there is no error-by-omissions and conflicts between the rules.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2010-12-01T19:55:00Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Lee_Yun Young.pdf: 682022 bytes, checksum: f04f20c5b42f53b518b8d0ec930a27a1 (MD5)","Made available in DSpace on 2011-01-14T22:51:19Z (GMT). No. of bitstreams: 2 Lee_YunYoung.pdf: 682020 bytes, checksum: bf2b876b9e1696c981dc737765b76ddb (MD5) license.txt: 4055 bytes, checksum: f5ec20c9b48f4b22bbbfcde6d6eee460 (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/18451"],"dc:language":["en"],"dc:rights":["Copyright 2010 Yun Young Lee"],"dc:subject":["Medical Informatics","Safety","MDPnP","Medical Devices","Medical Device Interaction."],"dc:title":["Safe medical device interaction rules"],"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:11Z"}