Building reliable MD PnP systems

Mu Sun, Qixin Wang, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007
Pages104-110
Number of pages7
DOIs
StatePublished - 2007
Event2007 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 2007Jun 27 2007

Publication series

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

Other

Other2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007
Country/TerritoryUnited States
CityCambridge, MA
Period6/25/076/27/07

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Software
  • Biomedical Engineering
  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'Building reliable MD PnP systems'. Together they form a unique fingerprint.

Cite this