OR.NET: Safe Interconnection of Medical Devices

Kühn, Franziska; Leucker, Martin

doi:10.1007/978-3-642-53956-5_13

Cited by 12 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A plan is also to integrate our volume streaming approach with existing safe communications platforms for medical devices, such as the OR.NET project [4].…”

Section: Resultsmentioning

confidence: 99%

Robotic 4D ultrasound solution for real-time visualization and teleoperation

Al-Badri

Ipsen

Böttger

et al. 2017

Current Directions in Biomedical Engineering

View full text Add to dashboard Cite

Automation of the image acquisition process via robotic solutions offer a large leap towards resolving ultrasound's user-dependency. This paper, as part of a larger project aimed to develop a multipurpose 4d-ultrasonic forcesensitive robot for medical applications, focuses on achieving real-time remote visualisation for 4d ultrasound image transfer. This was possible through implementing our software modification on a GE Vivid 7 Dimension workstation, which operates a matrix array probe controlled by a KUKA LBR iiwa 7 7-DOF robotic arm. With the help of robotic positioning and the matrix array probe, fast volumetric imaging of target regions was feasible. By testing ultrasound volumes, which were roughly 880 kB in size, while using gigabit Ethernet connection, a latency of ~57 ms was achievable for volume transfer between the ultrasound station and a remote client application, which as a result allows a frame count of 17.4 fps. Our modification thus offers for the first time real-time remote visualization, recording and control of 4d ultrasound data, which can be implemented in teleoperation.

show abstract

“…A plan is also to integrate our volume streaming approach with existing safe communications platforms for medical devices, such as the OR.NET project [4].…”

Section: Resultsmentioning

confidence: 99%

Robotic 4D ultrasound solution for real-time visualization and teleoperation

Al-Badri

Ipsen

Böttger

et al. 2017

Current Directions in Biomedical Engineering

View full text Add to dashboard Cite

show abstract

“…The application of verification methods to medical systems is drawing much attention in the research community. A position paper by Kühn and Leucker (Kühn and Leucker, 2014) is focused on the interconnection of devices in the operating room and proposes formal verification approaches, and Ray et al (Ray et al, 2010) expose a verification strategy called instrumentation-based verification for the model-based development of medical cyber-physical systems. The PVS theorem proving environment (Owre et al, 1992) has been used for verification in many application fields, such as autonomous vehicles (Domenici et al, 2017) and nonlinear controls .…”

Section: Related Workmentioning

confidence: 99%

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Bernardeschi

Domenici

Masci

2019

Computational Biology

View full text Add to dashboard Cite

The concepts of integrated clinical environments and smart intensive care units refer to complex technological infrastructures where health care relies on inter-operating medical devices monitored and coordinated by software applications under human supervision. These complex socio-technical systems have stringent safety requirements that can be met with rigorous and precise development methods. This chapter presents an approach to the formalization of system requirements for integrated clinical environments, using the Prototype Verification System, a theorem-proving environment based on a higher-order logic language. The approach is illustrated by modeling safety-related requirements affecting various aspects of an integrated clinical environments, and in particular the communication network. A simple but realistic wireless communication protocol will be used as an example of computer-assisted verification.

show abstract

“…Healthcare delivery organizations are starting to view the interoperability gap as a real problem: a barrier to innovations that could potentially improve patient safety and health care affordability [10]. Medical device interoperability is the ability of medical devices, clinical systems, or their components to communicate with each other in order to safely fulfill an intended purpose [11]. Effective interoperable medical systems should be safe, secure and usable at all levels of conjunction and require holistic view [12].…”

Section: Introductionmentioning

confidence: 99%

Unified Open Hardware Platform for Digital X-Ray Devices; its Conceptual Model and First Implementation

Durmaz

Brusan

Öztürk

2020

IEEE J. Transl. Eng. Health Med.

View full text Add to dashboard Cite

Background: Digital radiography devices are still the gold standard for diagnosis or therapy guidance in medicine. Despite the similarities between all direct digital x-ray systems, researchers and new companies face significant challenges during the development phase of innovative x-ray devices; each component is manufactured independently, guidance towards device integration from manufacturers is limited, global standards for device integration is lacking. Method: In scope of this study a plug-integrateplay (PIP) conceptual model for x-ray imaging system is introduced and implemented as an open hardware platform, SyncBox. The researchers are free to select each individual device component from different vendors based on their intended application and target performance are utilized in criteria. Result: As its first implementation, SyncBox and its platform a full body high resolution radiographic scanner that employs a novel TDI digital detector. Conclusion: We believe that SyncBox has a potential for introducing an open source hardware platform to x-ray equipment design. INDEX TERMS Medical imaging, open source hardware, plug-integrate-play (PIP) medical device development, x-ray applications, x-ray imaging hardware.

show abstract

OR.NET: Safe Interconnection of Medical Devices

Cited by 12 publications

References 10 publications

Robotic 4D ultrasound solution for real-time visualization and teleoperation

Robotic 4D ultrasound solution for real-time visualization and teleoperation

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Unified Open Hardware Platform for Digital X-Ray Devices; its Conceptual Model and First Implementation

Contact Info

Product

Resources

About