Automated software fault-tree analysis of Pascal programs

Annual Reliability and Maintainability Symposium 1993 Proceedings ◽

10.1109/rams.1993.296815 ◽

2002 ◽

Author(s):

M.A. Friedman

Keyword(s):

Fault Tree Analysis ◽

Tree Analysis ◽

Software Fault ◽

Automated Software

Download Full-text

Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System

Formal Foundations of Reuse and Domain Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04211-9_16 ◽

2009 ◽

pp. 160-169 ◽

Author(s):

Josh Dehlinger ◽

Robyn R. Lutz

Keyword(s):

Fault Tree Analysis ◽

Product Line ◽

Critical System ◽

Tree Analysis ◽

Safety Critical ◽

Safety Critical System ◽

Download Full-text

Software fault tree analysis

Journal of Systems and Software ◽

10.1016/0164-1212(83)90030-4 ◽

1983 ◽

Vol 3 (2) ◽

pp. 173-181 ◽

Author(s):

Nancy G. Leveson ◽

Peter R. Harvey

Keyword(s):

Fault Tree Analysis ◽

Tree Analysis ◽

Download Full-text

Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysis

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2013.056512 ◽

2013 ◽

Vol 4 (2) ◽

pp. 173

Author(s):

Pankaj Vyas ◽

R.K. Mittal

Keyword(s):

Hazard Analysis ◽

Fault Tree Analysis ◽

Modelling Language ◽

Tree Analysis ◽

Unified Modelling Language ◽

State Charts ◽

Download Full-text

PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool

Automated Software Engineering ◽

10.1007/s10515-006-5469-1 ◽

2006 ◽

Vol 13 (1) ◽

pp. 169-193 ◽

Author(s):

Josh Dehlinger ◽

Robyn R. Lutz

Keyword(s):

Fault Tree Analysis ◽

Product Line ◽

Analysis Tool ◽

Tree Analysis ◽

Download Full-text

A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems

Reliability Engineering & System Safety ◽

10.1016/j.ress.2020.107064 ◽

2020 ◽

Vol 203 ◽

pp. 107064 ◽

Author(s):

Sejin Jung ◽

Junbeom Yoo ◽

Young-Jun Lee

Keyword(s):

Nuclear Reactor ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Analysis Technique ◽

Formal Requirement ◽

Protection Systems ◽

Software Fault ◽

Requirement Specifications

Download Full-text

Software fault tree analysis for product lines

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281726 ◽

2004 ◽

Author(s):

J. Dehlinger ◽

R.R. Lutz

Keyword(s):

Fault Tree Analysis ◽

Product Lines ◽

Tree Analysis ◽

Download Full-text

Software fault tree analysis for a requirements system model

Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems ◽

10.1109/ecbs.1995.521849 ◽

2002 ◽

Author(s):

B.E. Malhart

Keyword(s):

Fault Tree Analysis ◽

System Model ◽

Tree Analysis ◽

Download Full-text

Medical Device Risk Based Evaluation and Maintenance Using Fault Tree Analysis

Biomedical Instrumentation & Technology ◽

10.2345/0899-8205(2007)41[76:mdrbea]2.0.co;2 ◽

2007 ◽

Vol 41 (1) ◽

pp. 76-82 ◽

Author(s):

William P. Rice

Keyword(s):

Medical Device ◽

Fault Tree Analysis ◽

Download Full-text

Efficient fault tree analysis with voting gates based on parallel computing

Recent Developments on Reliability, Maintenance and Safety ◽

10.2495/qr2mse140301 ◽

2015 ◽

Author(s):

J. Wang

Keyword(s):

Parallel Computing ◽

Fault Tree Analysis ◽

Download Full-text

Fault tree analysis (FTA)

10.3403/30101041u ◽

2015 ◽

Keyword(s):

Fault Tree Analysis ◽

Download Full-text