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 -