A model-oriented approach to safety analysis using fault trees and a support system

Journal of Systems and Software

Volumn 35, Issue 2, 1996, Pages 151-164

  Liu, Shaoying ^a   McDermid, John A ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; COMPUTER SYSTEMS; LOGIC GATES; MODELS;

FAULT TREE SUPPORT SYSTEM; SAFETY ANALYSIS;

FAILURE ANALYSIS;

EID: 0030288974     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00094-1     Document Type: Article

References (12)

1. Alesso, H. P., and Benson, H. J., Fault Tree and Reliability Relationships for Analyzing non Coherent Two-State Systems, Nuclear Engineering and Design, 309-20 (1980).
2. Forder, J., Higgins, C., McDermid, J. A., and Storrs, G., SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments, in Proceedings of Safety-critical Systems Symposium 1993, Bristol, 9th-11th February, 1993.
3. Health and Safety Executive, PES - Programmable Electronic Systems in Safety Related Applications, Crown copyright, pp. 80-99, 1987.
4. Lambert, H. E., Systems safety analysis and fault tree analysis, UCID-16238, 31, 1973.
5. Leveson, N. G., and Harvey, P. R., Analyzing Software Safety, IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, 569-579 (September 1983).
6. Leveson, N. G., and Harvey, P. R., Software Fault Tree Analysis, The Journal of Systems and Software, 173-181 (1983).
7. McDermid, J. A., and Liu, S., A Case Study Using SAM - Safety Analysis of PES, submitted to the Journal of High Integrity Systems, 1993.
8. Pate-Cornell, M. E., Fault Trees vs. Event Trees Reliability Analysis, Risk Analysis, Vol. 4, No. 3, 177-186 (1984).
9. Perkusich, A., De Figueired, J. C. A., and Chang, S. K., Embedding Fault-Tolerant Properties in Design of Complex Software Systems, Journal of Systems and Software, 23-37 (April 1994).
10. Roberts, N. H., Vesely, W. E., Haas, V. F., and Goldberg, F. F., Fault tree handbook, Technical Report by Systems and Reliability Research Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, Washington, D.C. 20555, January 1981.
11. Villemeur, A., Reliability, Availability, Maintainability and Safety Assessment, John Wiley and Sons Ltd, West Sussex, England, 1992, pp. 149-195.
12. Zhuang, W. J., and Xie, M., Design and Analysis of Some Fault-Tolerance Configurations Based on A Multipath Principle, Journal of Systems and Software, 101-108 (April 1994).