A.J. Mooij, N. Goga, W. Wesselink, and D. Bošnački (The Netherlands)
Telecommunications Technology, Communication Protocols, Modelling and Simulation, Model-checking
We analyze pre-standard ENV 13735 of the upcom ing IEEE 1073.2 standard, which standardizes some communication protocols between dynamically inter connected medical devices. The latter standard is cur rently under development, which gives us an opportu nity to influence its final contents using our results. The approach we use is to make formal models of the protocols, and to analyze them using the model checking tool Spin. Our analysis revealed several omis sions, inconsistencies and other types of errors in the protocols and their descriptions. We discuss possible sources of these problems, and propose some fixes.
Important Links:
Go Back
