By Topic

Software safety goal verification using fault tree techniques: a critically ill patient monitor example

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Connolly, B. ; Hewlett-Packard Co., Waltham, MA, USA

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

Published in:

Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on

Date of Conference:

19-23 Jun 1989