Dealing with non-local choice in IEEE 1073.2's standard for remote control

A.J. Mooij, N. Goga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)

    Abstract

    Currently, communication protocols for medical devices are being developed for the IEEE 1073.2 standard. The protocol description in its draft remote control package consists of a collection of intended behaviors in terms of MSCs. We have contributed to actually constructing the protocol, ranging from determining an hMSC for these MSCs, via synthesizing process implementations, to integrating it with the basic underlying IEEE 1073.2 protocol. In this paper we report on the non-local choice problems we encountered. We present a practical solution (i.e., an implementation) which on the one hand is close to the behavior specified in the hMSC, and on the other hand meets correctness properties such as deadlock freedom. These properties have been checked using the Spin model checker. We also give some directions for generalizing and extending this work.
    Original languageEnglish
    Title of host publicationSystem Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers)
    EditorsD. Amyot, A.W. Williams
    Place of PublicationBerlin
    PublisherSpringer
    Pages257-270
    ISBN (Print)3-540-24561-8
    DOIs
    Publication statusPublished - 2005

    Publication series

    NameLecture Notes in Computer Science
    Volume3319
    ISSN (Print)0302-9743

    Fingerprint

    Dive into the research topics of 'Dealing with non-local choice in IEEE 1073.2's standard for remote control'. Together they form a unique fingerprint.

    Cite this