Title :
Software safety goal verification using fault tree techniques: a critically ill patient monitor example
Author_Institution :
Hewlett-Packard Co., Waltham, MA, USA
Abstract :
A systematic form of software safety goal verification using fault tree techniques is presented and applied to a patient monitor. The process provides: mapping out test procedures for stated safety goals; a concise archive of the safety subset of the product test documentation; and hazard avoidance verification as indicated by a preliminary hazard analysis. The fault tree for the monitor produced a total of 42 test procedures for final system test use. The time for tree and test generation was six man weeks, and the tests required two man weeks to complete. The tests were instrumental in finding 16% of the total defects and 36% of the critical defects for this product
Keywords :
patient monitoring; program verification; safety; critically ill patient monitor; fault tree techniques; hazard analysis; hazard avoidance verification; product test documentation; safety subset; software safety goal verification; test procedures; Biomedical monitoring; Computerized monitoring; Control systems; Fault trees; Hardware; Hazards; Patient monitoring; Product safety; Software safety; Testing;
Conference_Titel :
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location :
Gaithersburg, MD
DOI :
10.1109/CMPASS.1989.76032
