Title :
High assurance bio-medical device control
Author_Institution :
UIUC, Urbana, IL, USA
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;
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
Print_ISBN :
0-7803-5674-8
DOI :
10.1109/IEMBS.1999.804034
