Ensuring patient safety in wireless medical device networks

Computer

Volumn 39, Issue 4, 2006, Pages 54-60

  Gehlot, Vigay ^a   Sloane, Elliot B ^b  

^a Department of Computing Sciences and Center of Excellence in Enterprise Technology   (United States)

^b VILLANOVA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL EQUIPMENT; DECISION SUPPORT SYSTEMS; HEALTH CARE; INTEROPERABILITY; MOBILE COMPUTING; PATIENT MONITORING; PETRI NETS; SOFTWARE ENGINEERING;

COLLISION SENSE METHOD; COLORED PETRI NETS (CPN); WIRELESS MEDICAL DEVICE NETWORKS;

MEDICAL COMPUTING;

EID: 33645994181     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.125     Document Type: Article

References (12)

1. R. Hampton, "CE Challenges," AAMI Annual Clinical Eng. and Productivity Subcommittee Meeting, Boston, 2004; www.homepage.villanova.edu/elliot.sloane/LivingArchive.
2. J. Wittenber, "Wireless Network Standard Overview for IEEE 1073 Wireless Medical Device Working Group," AAMI Annual Clinical Eng. and Productivity Subcommittee Meeting, Boston, 2004; www.homepage.villanova.edu/elliot.sloane/LivingArchive.
3. N. Golmie, D. Cypher, and O. Rebala, "Performance Analysis of Low Rate Wireless Technologies for Medical Applications," Computer Comm., vol. 28, no. 10, June 2005, pp. 1255-1275.
4. AAMI/ANSI EC13:2002 Standard for Cardiac Monitors, Heart Rate Meters, and Alarms, AAMI Standards on CD - The Complete Collection; www.aami.org/ publications/CD/cd.stds.html.
5. IEC/ISO/DIS 60601-1-8: 2003 Medical Equipment - Part 1-8, General Requirements for Safety - Collateral Standard: General Requirements, Tests and Guidance for Alarm Systems in Medical Electrical Equipment and Medical Electrical Systems, ISO; www.iso.org/iso/en/
6. R. Hampton, Report at IEEE 1073 Wireless Medical Device Working Group at the FDA, 2005; www.homepage.villanova.edu/elliot.sloane/LivingArchive.
7. V. Gehlot and E.B. Sloane, "Colored Petri Net Simulation for Design of Heterogeneous, Multi-Vendor, Integrated, Life-Critical Wireless (802.x) Patient Care Device Networks," Proc. 11th Americas Computer and Information Soc. Ann. Conf. (AMCIS 05); http://aisel.isworld.org/ proceedings/amcis/2005/program.asp.
8. C.M. Holloway, "Why Engineers Should Consider Formal Methods," Proc. 16th Ann. Digital Avionics Systems Conf., IEEE Press, 1997, vol. 1, pp. 1.3-16-22.
9. J.P. Bowen and M.G. Hinchey, "Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods," Proc. 10th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 05), ACM Press, 2005, pp. 8-16.
10. C. Girault and R. Valk, Petri Nets for Systems Engineering, Springer-Verlag, 2003.
11. E.B. Sloane and V. Gehlot, "Applications of the Petri Net to Simulate, Test, and Validate the Performance and Safety of Complex, Heterogeneous, Multimodality Patient Monitoring Alarm Systems," Proc. IEEE Eng. in Medicine and Biology Conf., IEEE Press, 2004, pp. 3492-3495.
12. National Institute of Standards and Technology, "Reference Information for the Software Verification and Validation Process"; http://hissa.ncsl.nist.gov/HHRFdata/Artifacts/ITLdoc/234/val-proc.html.