Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems-Reference-Cited by-同舟云学术

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems

Published:2017-07 Issue: Volume:163 Page:57-68
ISSN:0951-8320
Container-title:Reliability Engineering & System Safety
language:en
Short-container-title:Reliability Engineering & System Safety

Author:

Piriou Pierre-Yves,Faure Jean-Marc,Lesage Jean-Jacques

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality

Reference24 articles.

1. Dynamic fault-tree models for fault-tolerant computer systems;Dugan;IEEE Trans Reliab,1992

2. Walker M, Papadopoulos Y. Qualitative temporal analysis: towards a full implementation of the Fault Tree Handbook, Control Eng Pract (2009) 17 (10) 1115–25.

3. Bobbio A, Raiteri DC. Parametric Fault Trees with dynamic gates and repair boxes. In: Proceedings of Reliability and Maintainability Symposium (RAMS'2004), Los Angeles (California - USA), January 2004, p. 459–65.

4. Fault trees and Markov models for reliability analysis of fault-tolerant digital systems;Dugan;Reliab Eng Syst Saf,1993

5. Algebraic determination of the structure function of dynamic fault trees;Merle;Reliab Eng Syst Saf,2011

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Defining and characterizing model-based safety assessment: A review;Safety Science;2024-04

2. Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review;IEEE Transactions on Reliability;2023-12

3. State Based Modelling of Haul Truck Operation in Undeground Mines;2023 13th International Conference on Advanced Computer Information Technologies (ACIT);2023-09-21

4. A Compositional Semantics of Boolean-Logic Driven Markov Processes;IEEE Transactions on Dependable and Secure Computing;2023

5. Dynamic risk assessment of deepwater drilling using data-based and probabilistic approach;Ocean Engineering;2023-01