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 / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

9 Citations (Scopus)

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
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
Publication status	Published - 1 Dec 2007
Externally published	Yes
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: 25 Jun 2007 → 27 Jun 2007

Conference

Conference	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	25/06/07 → 27/06/07

ASJC Scopus subject areas

Human-Computer Interaction
Software
Biomedical Engineering
Control and Systems Engineering

More information

10.1109/HCMDSS-MDPnP.2007.10

Cite this

@inproceedings{d9aa700afb6b472c9015bd6fd112b34c,

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",

month = dec,

day = "1",

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

language = "English",

isbn = "0769530818",

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",

}

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, 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, 25/06/07. 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.

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - Building reliable MD PnP systems

AU - Sun, Mu

AU - Wang, Qixin

AU - Sha, Lui

PY - 2007/12/1

Y1 - 2007/12/1

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

U2 - 10.1109/HCMDSS-MDPnP.2007.10

DO - 10.1109/HCMDSS-MDPnP.2007.10

M3 - Conference article published in proceeding or book

SN - 0769530818

SN - 9780769530819

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

Conference

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this