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

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

Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-31559-1_11 ◽

2016 ◽

pp. 122-136

Author(s):

Michael Käßmeyer ◽

Rüdiger Berndt ◽

Peter Bazan ◽

Reinhard German

Keyword(s):

Fault Tree Analysis ◽

Product Line ◽

Decision Diagrams ◽

Download Full-text

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

Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy

Journal of Systems and Software ◽

10.1016/j.jss.2003.10.028 ◽

2004 ◽

Vol 73 (2) ◽

pp. 351-360 ◽

Author(s):

SeDo Sohn ◽

PoongHyun Seong

Keyword(s):

Quantitative Evaluation ◽

Fault Tree Analysis ◽

Tree Analysis ◽

Safety Critical

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

Timing Aspects of Fault Tree Analysis of Safety Critical Systems

Safer Systems ◽

10.1007/978-1-4471-0975-4_14 ◽

1997 ◽

pp. 231-244 ◽

Author(s):

Janusz Górski ◽

Andrzej Wardziński

Keyword(s):

Fault Tree Analysis ◽

Critical Systems ◽

Tree Analysis ◽

Safety Critical ◽

Safety Critical Systems

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

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking

2016 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2016.7880373 ◽

2016 ◽

Author(s):

Marwan Ammar ◽

Ghaith Bany Hamad ◽

Otmane Ait Mohamed ◽

Yvon Savaria

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Fault Tree Analysis ◽

Probabilistic Model Checking ◽

Critical Systems ◽

Tree Analysis ◽

Safety Critical ◽

Safety Critical Systems

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