Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Current Directions in Biomedical Engineering

Joint Journal of the German Society for Biomedical Engineering in VDE and the Austrian and Swiss Societies for Biomedical Engineering

Editor-in-Chief: Dössel, Olaf

Editorial Board: Augat, Peter / Buzug, Thorsten M. / Haueisen, Jens / Jockenhoevel, Stefan / Knaup-Gregori, Petra / Kraft, Marc / Lenarz, Thomas / Leonhardt, Steffen / Malberg, Hagen / Penzel, Thomas / Plank, Gernot / Radermacher, Klaus M. / Schkommodau, Erik / Stieglitz, Thomas / Urban, Gerald A.


CiteScore 2018: 0.47

Source Normalized Impact per Paper (SNIP) 2018: 0.377

Open Access
Online
ISSN
2364-5504
See all formats and pricing
More options …

Verification of on-demand medical device networks

Max Dingler
  • Corresponding author
  • Insititute of Micro Technology and Medical Device Technology, Technical University of Munich, Boltzmannstraße 15, 85748 Garching, Germany
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Christian Dietz
  • Insititute of Micro Technology and Medical Device Technology, Technical University of Munich, Boltzmannstraße 15, 85748 Garching, Germany
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
/ Tim Lüth
  • Insititute of Micro Technology and Medical Device Technology, Technical University of Munich, Boltzmannstraße 15, 85748 Garching, Germany
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2017-09-07 | DOI: https://doi.org/10.1515/cdbme-2017-0093

Abstract

We propose a novel method for the automated formal analysis of on-demand medical device networks communicating via an open communication protocol. The resulting toolbox aims at assisting operators of cross-vendor medical device networks in the complex process of conformity assessment. The method is based on the notion of timed, extended finite automata and employs existent TCTL model checking techniques by use of MATLAB and UPPAAL. We evaluate our methodology in a real-life application similar to a user experience published by the U.S. Food and Drug Admninistration. The method revealed a flaw in the connector design for the Surgical Real Time Bus of the OR.Net project.

Keywords: Medical devices; admission process; networks; automata; verification

About the article

Published Online: 2017-09-07


Citation Information: Current Directions in Biomedical Engineering, Volume 3, Issue 2, Pages 445–448, ISSN (Online) 2364-5504, DOI: https://doi.org/10.1515/cdbme-2017-0093.

Export Citation

©2017 Max Dingler et al., published by De Gruyter. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License. BY-NC-ND 4.0

Comments (0)

Please log in or register to comment.
Log in