Abstract:
The safe compositionality and integration of heterogeneous components represents a major challenge in medical cyber-physical systems. The paradigm of medical application ...Show MoreMetadata
Abstract:
The safe compositionality and integration of heterogeneous components represents a major challenge in medical cyber-physical systems. The paradigm of medical application platforms allows the virtual integration of heterogeneous devices with various communication infrastructures, but does not fully address the safety properties of the overall system. This paper presents a medical device virtual integration framework for composing medical devices and control applications into an interoperable system without violating the safety properties.
Published in: IEEE Design & Test ( Volume: 32, Issue: 5, October 2015)
Funding Agency:
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Medical Devices ,
- Virtual Integration ,
- Electronic Health Records ,
- Medical Systems ,
- Risk Management ,
- Properties Of Systems ,
- Blood Oxygen ,
- Invasive Ventilation ,
- Control Applications ,
- Domain Experts ,
- Pulse Rate ,
- Safety Systems ,
- Functional Requirements ,
- Formal Language ,
- Infusion Pump ,
- Pulse Oximeter ,
- IT Systems ,
- Patient-controlled Analgesia ,
- Alarm Signal ,
- Safety Properties ,
- Formal Verification ,
- Verification Of Conditions ,
- Level Of Assurance ,
- Invariance Property ,
- Destination States ,
- Temporal Logic ,
- Formal Methods ,
- Model Checking ,
- Transition Conditions ,
- State Machine
- Author Keywords
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Medical Devices ,
- Virtual Integration ,
- Electronic Health Records ,
- Medical Systems ,
- Risk Management ,
- Properties Of Systems ,
- Blood Oxygen ,
- Invasive Ventilation ,
- Control Applications ,
- Domain Experts ,
- Pulse Rate ,
- Safety Systems ,
- Functional Requirements ,
- Formal Language ,
- Infusion Pump ,
- Pulse Oximeter ,
- IT Systems ,
- Patient-controlled Analgesia ,
- Alarm Signal ,
- Safety Properties ,
- Formal Verification ,
- Verification Of Conditions ,
- Level Of Assurance ,
- Invariance Property ,
- Destination States ,
- Temporal Logic ,
- Formal Methods ,
- Model Checking ,
- Transition Conditions ,
- State Machine
- Author Keywords