Ensuring Patient Safety in Wireless Medical Device Networks

Authors:
Vijay Gehlot;Elliot B. Sloane
Affiliations:
Villanova University;Villanova University
Venue:
Computer
Year:
2006

Citing 3
Cited 3

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Performance analysis of low rate wireless technologies for medical applications

Computer Communications

A formalized and validated executable model of the SIP-based presence protocol for mobile applications

ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Use of Coloured Petri Net models in planning, design, and simulation of intelligent wireless medical device networks for safe and flexible hospital capacity management

International Journal of Networking and Virtual Organisations
Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets

Engineering Applications of Artificial Intelligence

Quantified Score

Hi-index	4.10

Visualization

Abstract

Wireless medial device networks provide many alarms and related clinical data that are life critical. To avoid exposing patients to serious injuries or death, these systems must be protected from data delays, distortions, loss, or other erratic delivery problems.