IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Safe medical device interaction rules

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/18451

Files in this item

File Description Format
PDF Lee_YunYoung.pdf (682KB) (no description provided) PDF
Title: Safe medical device interaction rules
Author(s): Lee, Yun Young
Advisor(s): Johnson, Ralph E.
Department / Program: Computer Science
Discipline: Computer Science
Degree Granting Institution: University of Illinois at Urbana-Champaign
Degree: M.S.
Genre: Thesis
Subject(s): Medical Informatics Safety MDPnP Medical Devices Medical Device Interaction.
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.
Issue Date: 2011-01-14
URI: http://hdl.handle.net/2142/18451
Rights Information: Copyright 2010 Yun Young Lee
Date Available in IDEALS: 2011-01-14
Date Deposited: December 2
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 166
  • Downloads this Month: 1
  • Downloads Today: 0

Browse

My Account

Information

Access Key