자료유형 | 학위논문 |
---|---|
서명/저자사항 | Medical Device Interoperability with Provable Safety Properties. |
개인저자 | Arney, David. |
단체저자명 | University of Pennsylvania. Computer and Information Science. |
발행사항 | [S.l.]: University of Pennsylvania., 2019. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2019. |
형태사항 | 308 p. |
기본자료 저록 | Dissertations Abstracts International 81-03A. Dissertation Abstract International |
ISBN | 9781085598088 |
학위논문주기 | Thesis (Ph.D.)--University of Pennsylvania, 2019. |
일반주기 |
Source: Dissertations Abstracts International, Volume: 81-03, Section: A.
Advisor: Lee, Insup. |
이용제한사항 | This item must not be sold to any third party vendors. |
요약 | Applications that can communicate with and control multiple medical devices have the potential to radically improve patient safety and the effectiveness of medical treatment. Medical device interoperability requires devices to have an open, standards-based interface that allows communication with any other device that implements the same interface. This will enable applications and functionality that can improve patient safety and outcomes.To build interoperable systems, we need to match up the capabilities of the medical devices with the needs of the application. An application that requires heart rate as an input and provides a control signal to an infusion pump requires a source of heart rate and a pump that will accept the control signal. We present means for devices to describe their capabilities and a methodology for automatically checking an application's device requirements against the device capabilities.If such applications are going to be used for patient care, there needs to be convincing proof of their safety. The safety of a medical device is closely tied to its intended use and use environment. Medical device manufacturers create a hazard analysis of their device, where they explore the hazards associated with its intended use. We describe hazard analysis for interoperable devices and how to create system safety properties from these hazard analyses. The use environment of the application includes the application, connected devices, patient, and clinical workflow. The patient model is specific to each application and represents the patient's response to treatment. We introduce Clinical Application Modeling Language (CAML), based on Extended Finite State Machines, and use model checking to test safety properties from the hazard analysis against the parallel composition of the application, patient model, clinical workflow, and the device models of connected devices. |
일반주제명 | Computer science. Information science. |
언어 | 영어 |
바로가기 | ![]() |