By Topic

A formal analysis of ISO/IEEE P11073-20601 standard of medical device communication

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Goga, N. ; Mol. Dynamics Group, Univ. of Groningen, Groningen ; Costache, S. ; Moldoveanu, F.

This article presents the formal work done for the ISO/IEEE P11073-20601 draft standard for health informatics - personal health device communication - application profile - optimized exchange protocol. ISO/IEEE 11073 family defines standards for device communication between agents (e.g. blood pressure monitors, weighing scales) that collect information about a person and manager (e.g., cell phone, health appliance, or personal computer) for collection, display, and possible later re-transmission. The particular draft standard ISO/IEEE P11073-20601 defines protocols for data exchange between agents and managers. Although such a system in medical use must be extremely reliable under all circumstances, until now a formal analysis has been used only in analyzing draft IEEE P11073-20601 as a part of developing the protocols in this family of standards. We analyzed the protocols both manually and automatically. For the automated analysis of safety properties we applied model-checking techniques, which is feasible since the number of processes is limited, and because we can abstract from most data in the protocols. We used the language Promela and the tool Spin, since this combination has a good reputation in practical applications and it is well documented. The results of our work are now incorporated in this standard.

Published in:

Systems Conference, 2009 3rd Annual IEEE

Date of Conference:

23-26 March 2009