SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
The use of prime implicants in dependability analysis of software controlled systems
4 references·9 citing·33 second hop
The use of prime implicants in dependability analysis of software controlled systems (1998)The use of prime implicants in dependabil…Probabilistic Risk Assessment: Reliability Engineering, Design, and Analysis (1991)Probabilistic Risk Assessment…Multiple-Valued Logic Trees: Meaning and Prime Implicants (1985)Multiple-Valued Logic Trees: …Computer-aided Synthesis of Fault-trees (1977)Computer-aided Synthesis of F…Computer aided synthesis of fault-trees (1977)Computer aided synthesis of f…Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment (2018)Notes on Computational Uncert…A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations (2018)A comparison of fault trees a…Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance (2017)Quantitative and Risk-Based F…A comparison of Fault Trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems Part 1: Reactor trip logic loop reliability analysis (2016)A comparison of Fault Trees a…A DFM/Fuzzy/ATHEANA Human Failure Analysis of a Digital Control System for a Pressurizer (2014)A DFM/Fuzzy/ATHEANA Human Fai…Conventional and dynamic safety analysis: Comparison on a chemical batch reactor (2012)Conventional and dynamic safe…Dynamic reliability of digital-based transmitters (2011)Dynamic reliability of digita…Reliability and safety analysis of an Underwater Dry Maintenance Cabin (2009)Reliability and safety analys…A Benchmark System for Comparing Reliability Modeling Approaches for Digital Instrumentation and Control Systems (2009)A Benchmark System for Compar…Dynamic event trees in accident sequence analysis: application to steam generator tube rupture (1993)New algorithms for fault trees analysis (1993)Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability (2008)Solving dynamic flowgraph methodology models using binary decision diagrams (2012)Toward risk assessment 2.0: Safety supervisory control and model-based hazard monitoring for risk-informed safety interventions (2016)Piecewise-Deterministic Markov Processes: A General Class of Non-Diffusion Stochastic Models (1984)Risk assessment for dynamic systems: An overview (1994)The stochastic finite element method: Past, present and future (2008)Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report (1983)Cognitive modeling and dynamic probabilistic simulation of operating crew response to complex system accidents (2006)A systems based approach for financial risk modelling and optimisation of the mineral processing and metal production industry (2016)An optimal control-based safety system for cost efficient risk management of chemical processes (2016)Integrated physical safety–cyber security risk assessment based on layers of protection analysis (2024)Direct evaluation of fault trees using object-oriented programming techniques (1989)Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia (1997)A fault tree analysis strategy using binary decision diagrams (2002)Evidential Networks for Fault Tree Analysis with Imprecise Knowledge (2012)A new methodology for the computer-aided construction of fault trees (1977)Development of tools for safety analysis of control software in advanced reactors (1996)A Computational Framework for Prime Implicants Identification in Noncoherent Dynamic Systems (2014)Risk-Based Clustering for Near Misses Identification in Integrated Deterministic and Probabilistic Safety Analysis (2015)A dynamic fault tree (2002)International Electrotechnical Commission (2010)Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools (2015)Optimizing resource allocations to improve system reliability via the propagation of statistical moments through fault trees (2022)Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives (2023)b'Fault Tree Handbook' (1981)A review of techniques for risk management in projects (2007)Intelligent Adversary Risk Analysis: A Bioterrorism Risk Management Model (2009)Systemic failures: Challenges and opportunities in risk management in complex systems (2010)A FTA-based method for risk decision-making in emergency response (2012)A survey of dynamic methodologies for probabilistic safety assessment of nuclear power plants (2012)Analytical simulation and PROFAT II: a new methodology and a computer automated tool for fault tree analysis in chemical process industries (2000)
this work references cited by second hop

References

  • 1977Computer-aided Synthesis of Fault-trees296 cited
  • 1977Computer aided synthesis of fault-trees240 cited
  • 1991Probabilistic Risk Assessment: Reliability Engineering, Design, and Analysis196 cited
  • 1985Multiple-Valued Logic Trees: Meaning and Prime Implicants42 cited

Cited by

  • 2016A comparison of Fault Trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems Part 1: Reactor trip logic loop reliability analysis23 cited
  • 2009A Benchmark System for Comparing Reliability Modeling Approaches for Digital Instrumentation and Control Systems23 cited
  • 2011Dynamic reliability of digital-based transmitters17 cited
  • 2012Conventional and dynamic safety analysis: Comparison on a chemical batch reactor16 cited
  • 2009Reliability and safety analysis of an Underwater Dry Maintenance Cabin16 cited
  • 2018A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations12 cited
  • 2018Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment12 cited
  • 2014A DFM/Fuzzy/ATHEANA Human Failure Analysis of a Digital Control System for a Pressurizer11 cited
  • 2017Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance10 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work