Towards a uni-ed de-nition of minimal cut sequences

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 4, Issue PART 1, 2013, Pages 1-6

  Chaux, Pierre Yves ^a   Roussel, Jean Marc ^a   Lesage, Jean Jacques ^a   Deleuze, Gilles ^b   Bouissou, Marc ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b EDF R AND D   (France)

Author keywords

Coherence rules; Dynamic systems; Finite automaton; Minimal cut sequences; Qualitative studies; Repairable components

Indexed keywords

CONVOLUTIONAL CODES; DYNAMICAL SYSTEMS; FINITE AUTOMATA; RISK ANALYSIS; RISK ASSESSMENT; ROBOTS;

DYNAMICS OF SYSTEM; FORMAL DEFINITION; MINIMAL CUT SEQUENCES; MINIMAL REPRESENTATION; QUALITATIVE STUDY; RELIABILITY MODELLING; REPAIRABLE COMPONENTS; REPAIRABLE SYSTEMS;

RISK PERCEPTION;

EID: 84885664908     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20130904-3-UK-4041.00013     Document Type: Conference Paper

References (16)

1. Birnbaum, Z., Esary, J., and Saunders, S. (1961). Multi- component systems and structures and their reliability. Technometrics, 3(1), 55-77.
2. Boudali, H. and Dugan, J. (2005). A discrete-time bayesian network reliability modeling and analysis framework. Reliability Engineering and System Safety, 87(3), 337- 349.
3. Bouissou, M. (2006). Determination efficace de scenarii minimaux de defaillance pour des systemes sequentiels. In 15eme colloque de fiabilite et maintenabilite, Lille (France).
4. Bouissou, M. and Bon, J. (2003). A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes. Reliability Engineering and System Safety, 82(2), 149-163.
5. Chaux, P.Y., Roussel, J.M., Lesage, J.J., Deleuze, G., and Bouissou, M. (2011). Qualitative analysis of a bdmp by finite automaton. In Advances in Safety Reliability and risk management, 2055-2057. Taylor & Francis Ed.
6. Chaux, P.Y., Roussel, J.M., Lesage, J.J., Deleuze, G., and Bouissou, M. (2012). Systematic extraction of Minimal Cut Sequences from a BDMP model. In Proc. of the 21th European Safety & Reliability Conf. (ESREL'12), Helsinki (Finland).
7. Coppit, D., Sullivan, K., and Dugan, J. (2000). Formal semantics of models for computational engineering: A casestudy on dynamic fault trees. In 11th International Symposium on Software Reliability Engineering, 2000. ISSRE 2000. San Jose (USA), 270-282.
8. Dugan, J., Bavuso, S., and Boyd, M. (1992). Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3), 363-377.
9. Fussell, J. (1976). Fault tree analysis: concepts and techniques. Generic Techniques in System Reliability Assessment.
10. Hopcroft, J.E. (2008). Introduction to Automata Theory, Languages, and Computation, 3/E. Pearson Education India.
11. McCluskey Jr, E. (1956). Minimization of boolean func- tions. Bell System Technical Journal, 35, 1417-1444.
12. Merle, G., Roussel, J.M., and Lesage, J.J. (2011). Alge- braic Determination of the Structure Function of Dy- namic Fault Trees. Reliability Engineering and System Safety, 96(2), 267-277.
13. Rauzy, A. (2001). Mathematical foundations of minimal cutsets. IEEE Transactions on Reliability, 50(4), 389- 396.
14. Rauzy, A. (2002). Mode automata and their compilation into fault trees. Reliability Engineering and System Safety, 78(1), 1-12.
15. Tang, Z. and Dugan, J. (2004). Minimal cut set/Sequence generation for dynamic fault trees. In Reliability and Maintainability, 2004 Annual Symposium-RAMS Los Angeles (USA), 207-213.
16. Walker, M., Bottaci, L., and Papadopoulos, Y. (2007). Compositional temporal fault tree analysis. In Com- puter Safety, Reliability, and Security: 26th Interna- tional Conference, SAFECOMP 2007, Nurmberg, Ger- many, September 18-21, 2007, Proceedings, volume 4680, 106. Springer.