| LDR | | 00000nam u2200205 4500 |
| 001 | | 000000433300 |
| 005 | | 20200225135130 |
| 008 | | 200131s2019 ||||||||||||||||| ||eng d |
| 020 | |
▼a 9781085598088 |
| 035 | |
▼a (MiAaPQ)AAI13812494 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
| 082 | 0 |
▼a 020 |
| 100 | 1 |
▼a Arney, David. |
| 245 | 10 |
▼a Medical Device Interoperability with Provable Safety Properties. |
| 260 | |
▼a [S.l.]:
▼b University of Pennsylvania.,
▼c 2019. |
| 260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2019. |
| 300 | |
▼a 308 p. |
| 500 | |
▼a Source: Dissertations Abstracts International, Volume: 81-03, Section: A. |
| 500 | |
▼a Advisor: Lee, Insup. |
| 502 | 1 |
▼a Thesis (Ph.D.)--University of Pennsylvania, 2019. |
| 506 | |
▼a This item must not be sold to any third party vendors. |
| 520 | |
▼a 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. |
| 590 | |
▼a School code: 0175. |
| 650 | 4 |
▼a Computer science. |
| 650 | 4 |
▼a Information science. |
| 690 | |
▼a 0984 |
| 690 | |
▼a 0723 |
| 710 | 20 |
▼a University of Pennsylvania.
▼b Computer and Information Science. |
| 773 | 0 |
▼t Dissertations Abstracts International
▼g 81-03A. |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0175 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2019 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15490752
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
| 980 | |
▼a 202002
▼f 2020 |
| 990 | |
▼a ***1816162 |
| 991 | |
▼a E-BOOK |