TY - GEN
T1 - High assurance bio-medical device control
AU - Sha, Lui
PY - 1999
Y1 - 1999
N2 - Software faults are a major reliability concern in medical devices. They are the result of logical complexity that exceeds developers' ability to specify, design, develop and verify. An effective way is to use simple and reliable control software to ensure the essential functionality and integrity of medical devices controlled by complex software.
AB - Software faults are a major reliability concern in medical devices. They are the result of logical complexity that exceeds developers' ability to specify, design, develop and verify. An effective way is to use simple and reliable control software to ensure the essential functionality and integrity of medical devices controlled by complex software.
UR - http://www.scopus.com/inward/record.url?scp=0033344439&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0033344439&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0033344439
SN - 0780356756
T3 - Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings
SP - 879
BT - Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings
PB - IEEE
T2 - Proceedings of the 1999 IEEE Engineering in Medicine and Biology 21st Annual Conference and the 1999 Fall Meeting of the Biomedical Engineering Society (1st Joint BMES / EMBS)
Y2 - 13 October 1999 through 16 October 1999
ER -