Verification of on-demand medical device networks

Current Directions in Biomedical Engineering

Dietz Christian¹  Lüth Tim¹  Dingler Max¹ 

[1] Insititute of Micro Technology and Medical Device Technology, Technical University of Munich, Boltzmannstraße 15, 85748 Garching, Germany;

关键词: medical devices;    admission process;    networks;    automata;    verification;   

DOI  :  10.1515/cdbme-2017-0093

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown