DocumentCode :
2006160
Title :
Fault mitigation in safety-critical software systems
Author :
Subramanian, S. ; Elliott, L. ; Vishnuvajjala, R.V. ; Tsai, W.T. ; Mojdehbakhsh, R.
Author_Institution :
Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
fYear :
1996
fDate :
17-18 Jun 1996
Firstpage :
12
Lastpage :
17
Abstract :
Software hazard analysis involves identifying safety faults in software and mitigating their causes. Designing safe systems is a creative process and there are no systematic guidelines for generating safe designs. Here, the authors present some patterns of safety fault mitigation in medical devices, which were identified from a case study at the Guidant Corporation. These patterns prescribe appropriate fault mitigation processes and techniques for different safely situations. The patterns are classified into two major categories. Process Patterns and Technique Patterns. The process patterns are the patterns found in the process and decisions taken by engineers during safety analysis. The technique patterns are patterns found in the various mitigation techniques used to mitigate faults. The factors affecting the usage of these patterns and the process of mitigation are also discussed here
Keywords :
biomedical equipment; medical computing; pacemakers; safety; safety-critical software; Guidant Corporation; cardiac rhythm management systems; engineering decisions; fault mitigation; medical devices; process patterns; safety faults identification; safety-critical software systems; technique patterns; Fault diagnosis; Hazards; Nuclear power generation; Pattern analysis; Power generation; Real time systems; Rhythm; Safety devices; Software safety; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Based Medical Systems, 1996., Proceedings Ninth IEEE Symposium on
Conference_Location :
Ann Arbor, MI
ISSN :
1063-7125
Print_ISBN :
0-8186-7441-5
Type :
conf
DOI :
10.1109/CBMS.1996.507118
Filename :
507118
Link To Document :
بازگشت