High assurance bio-medical device control

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationAnnual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings
PublisherIEEE
Pages879
Number of pages1
ISBN (Print)0780356756
StatePublished - 1999
EventProceedings 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) - Atlanta, GA, USA
Duration: Oct 13 1999Oct 16 1999

Publication series

NameAnnual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings
Volume2
ISSN (Print)0589-1019

Other

OtherProceedings 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)
CityAtlanta, GA, USA
Period10/13/9910/16/99

ASJC Scopus subject areas

  • Signal Processing
  • Biomedical Engineering
  • Computer Vision and Pattern Recognition
  • Health Informatics

Fingerprint

Dive into the research topics of 'High assurance bio-medical device control'. Together they form a unique fingerprint.

Cite this