IEEE - Institute of Electrical and Electronics Engineers, Inc. - Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application]

Proceedings Ninth IEEE Symposium on Computer-Based Medical Systems

Author(s): Vishnuvajjala, R.V. ; Subramanian, S. ; Wei-Tek Tsai ; Elliott, L. ; Mojdehbakhsh, R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Ann Arbor, MI, USA, USA
Conference Date: 17 June 1996
Page(s): 18 - 23
ISBN (Paper): 0-8186-7441-5
ISSN (Paper): 1063-7125
DOI: 10.1109/CBMS.1996.507119
Regular:

The authors discuss issues in designing run-time mechanisms for enhancing the dependability of safely-critical systems. Such mechanisms are aimed at failure avoidance and failure detection and can... View More

Advertisement