DocumentCode
3305830
Title
High assurance bio-medical device control
Author
Sha, Lui
Author_Institution
UIUC, Urbana, IL, USA
Volume
2
fYear
1999
fDate
36434
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
Keywords
biocontrol; biomedical equipment; computational complexity; computerised instrumentation; medical computing; software reliability; complex software; essential functionality; high assurance biomedical device control; integrity; logical complexity; software faults; Computational complexity; Ellipsoids; Fault tolerance; Linear matrix inequalities; Lyapunov method; Neural networks; Software prototyping; Software safety; Sorting; Stability;
fLanguage
English
Publisher
ieee
Conference_Titel
[Engineering in Medicine and Biology, 1999. 21st Annual Conference and the 1999 Annual Fall Meetring of the Biomedical Engineering Society] BMES/EMBS Conference, 1999. Proceedings of the First Joint
Conference_Location
Atlanta, GA
ISSN
1094-687X
Print_ISBN
0-7803-5674-8
Type
conf
DOI
10.1109/IEMBS.1999.804034
Filename
804034
Link To Document