Building reliable MD PnP systems

Mu Sun; Qixin Wang; Lui Sha

doi:10.1109/HCMDSS-MDPnP.2007.10

Building reliable MD PnP systems

Mu Sun, Qixin Wang, Lui Sha

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We address two necessary issues needed for developing safe and reliable MD PnP systems: robust wireless networking and automated checking for component interoperability and reliability. First, the robustness of a wireless network can be improved by the use of DSSS-CDMA, which tradeoff throughput to achieve higher reliability and persistence of connections as needed. Second, automated checking of components interoperability and reliability can be partially addressed by the use of the Integrated Framework for Assumptions and Dependencies (IFAD) by specifying a machine-checkable encoding of component information, checking interface assumptions, and finding how various environmental changes can impact the system.

Original language	English (US)
Title of host publication	Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007
Pages	104-110
Number of pages	7
DOIs	https://doi.org/10.1109/HCMDSS-MDPnP.2007.10
State	Published - 2007
Event	2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007 - Cambridge, MA, United States Duration: Jun 25 2007 → Jun 27 2007

Publication series

Name	Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007

Other

Other	2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007
Country/Territory	United States
City	Cambridge, MA
Period	6/25/07 → 6/27/07

ASJC Scopus subject areas

Human-Computer Interaction
Software
Biomedical Engineering
Control and Systems Engineering

Online availability

10.1109/HCMDSS-MDPnP.2007.10

Library availability

Discover UIUC Full Text

Cite this

Sun, M., Wang, Q., & Sha, L. (2007). Building reliable MD PnP systems. In Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007 (pp. 104-110). [4438169] (Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007). https://doi.org/10.1109/HCMDSS-MDPnP.2007.10

Building reliable MD PnP systems. / Sun, Mu; Wang, Qixin; Sha, Lui.
Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007. 2007. p. 104-110 4438169 (Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sun, M, Wang, Q & Sha, L 2007, Building reliable MD PnP systems. in Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007., 4438169, Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007, pp. 104-110, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007, Cambridge, MA, United States, 6/25/07. https://doi.org/10.1109/HCMDSS-MDPnP.2007.10

Sun M, Wang Q, Sha L. Building reliable MD PnP systems. In Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007. 2007. p. 104-110. 4438169. (Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007). doi: 10.1109/HCMDSS-MDPnP.2007.10

Sun, Mu ; Wang, Qixin ; Sha, Lui. / Building reliable MD PnP systems. Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007. 2007. pp. 104-110 (Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007).

@inproceedings{b27a191abff441dc8f837f6a24967f91,

title = "Building reliable MD PnP systems",

abstract = "We address two necessary issues needed for developing safe and reliable MD PnP systems: robust wireless networking and automated checking for component interoperability and reliability. First, the robustness of a wireless network can be improved by the use of DSSS-CDMA, which tradeoff throughput to achieve higher reliability and persistence of connections as needed. Second, automated checking of components interoperability and reliability can be partially addressed by the use of the Integrated Framework for Assumptions and Dependencies (IFAD) by specifying a machine-checkable encoding of component information, checking interface assumptions, and finding how various environmental changes can impact the system.",

author = "Mu Sun and Qixin Wang and Lui Sha",

year = "2007",

doi = "10.1109/HCMDSS-MDPnP.2007.10",

language = "English (US)",

isbn = "0769530818",

series = "Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007",

pages = "104--110",

booktitle = "Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007",

note = "2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007 ; Conference date: 25-06-2007 Through 27-06-2007",

}

TY - GEN

T1 - Building reliable MD PnP systems

AU - Sun, Mu

AU - Wang, Qixin

AU - Sha, Lui

PY - 2007

Y1 - 2007

N2 - We address two necessary issues needed for developing safe and reliable MD PnP systems: robust wireless networking and automated checking for component interoperability and reliability. First, the robustness of a wireless network can be improved by the use of DSSS-CDMA, which tradeoff throughput to achieve higher reliability and persistence of connections as needed. Second, automated checking of components interoperability and reliability can be partially addressed by the use of the Integrated Framework for Assumptions and Dependencies (IFAD) by specifying a machine-checkable encoding of component information, checking interface assumptions, and finding how various environmental changes can impact the system.

AB - We address two necessary issues needed for developing safe and reliable MD PnP systems: robust wireless networking and automated checking for component interoperability and reliability. First, the robustness of a wireless network can be improved by the use of DSSS-CDMA, which tradeoff throughput to achieve higher reliability and persistence of connections as needed. Second, automated checking of components interoperability and reliability can be partially addressed by the use of the Integrated Framework for Assumptions and Dependencies (IFAD) by specifying a machine-checkable encoding of component information, checking interface assumptions, and finding how various environmental changes can impact the system.

UR - http://www.scopus.com/inward/record.url?scp=48349120267&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=48349120267&partnerID=8YFLogxK

U2 - 10.1109/HCMDSS-MDPnP.2007.10

DO - 10.1109/HCMDSS-MDPnP.2007.10

M3 - Conference contribution

AN - SCOPUS:48349120267

SN - 0769530818

SN - 9780769530819

T3 - Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007

SP - 104

EP - 110

BT - Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007

T2 - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007

Y2 - 25 June 2007 through 27 June 2007

ER -

Building reliable MD PnP systems

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this