Enabling Safe Interoperation by Medical Device Virtual Integration

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.