A dynamic flowgraph methodology approach based on binary decision diagrams

International Topical Meeting on Probabilistic Safety Assessment and Analysis 2011, PSA 2011

Volumn 1, Issue , 2011, Pages 267-278

  Björkman, Kim ^a   Karanta, Ilkka ^a  

^a VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

Author keywords

Binary decision diagram; Dynamic flowgraph methodology; Reliability analysis

Indexed keywords

BASIC CONCEPTS; COMPUTATIONAL EFFORT; DYNAMIC RELIABILITY; ENVIRONMENTAL CONDITIONS; EXACT COMPUTATIONS; FLOW GRAPH; HARDWARE FAILURES; HUMAN ERRORS; LOGIC ERRORS; MODEL ANALYSIS; MULTIVALUED LOGIC; PRIME IMPLICANTS; RELIABILITY ASSESSMENTS; ROOT CAUSE; STATIC FAILURE; SYSTEM FAULTS;

BOOLEAN FUNCTIONS; DECISION THEORY; DYNAMIC MODELS; ERRORS; FAULT TREE ANALYSIS; GRAPHIC METHODS; MODEL CHECKING; PLANT EXTRACTS; RATING; RELIABILITY ANALYSIS; SAFETY ENGINEERING; TREES (MATHEMATICS);

BINARY DECISION DIAGRAMS;

EID: 80051954265     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. T. Aldemir, M.P. Stovsky, J. Kirschenbaum, D. Mandelli, P. Bucci, L.A. Mangan, D.W. Miller, X. Sun, E. Ekici, S. Guarro, M. Yau, B. Johnson, C. Elks, and S.A. Arnd,. "Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments", NUREG report NUREG/CR-6942, October 2007.
2. K. Björkman, J.-E. Holmberg, "Comparison of two dynamic reliability analysis tools to solve dynamic flowgraph method models", VTT Research Report, VTT-R-00775-10, Espoo, 2010.
3. K. Björkman, YADRAT - Concepts and algorithms, VTT Research Report, VTT-R-07658-10, Espoo, 2010.
4. K.L. Brace, R.L. Rudell, R.E. Bryant, "Efficient Implementation of a BDD Package", 27th ACM/IEEE Design Automation Conference, 1990, Paper 3.1, 40-45, 1990
5. R. E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers C-35, 6(Aug), pp. 677-691, 1986
6. R. E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams", ACM Computing Survey, 24, 3 (Sep. 1992), 293-318, 1992
7. O. Coudert, J.C. Madre, "Implicit and incremental computation of primes and essential primes of Boolean functions", Proceedings of the 29th ACM/IEEE design automation conference, DAC'92 1992.
8. Dymonda software for DFM modelling and analysis http://ascainc.com/ dymonda/dymonda.html
9. C.J. Garrett, S.B. Guarro, G.E. Apostolakis, "The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems", IEEE Trans. on Systems, Man and Cybernetics Vol. 25. No. 5, 824-840, 1995.
10. M. Houtermans, G. Apostolakis, A. Brombacher and D. Karydas. "Programmable electronic system design & verification utilizing DFM", In SAFECOMP 2000 (F. Koornneef and M. van der Meulen, eds.), Lecture Notes in Computer Science 1943 (2000), 275-285.
11. M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition. Cambridge University Press, 2004.
12. I. Karanta and P. Kuusela, "On the Computational Effort of the Dynamic Flowgraph Methodology," VTT Research Report VTT-R-00831-10, Espoo 2010.
13. I. Karanta, M. Maskuniitty, "Reliability of digital control systems in nuclear power plants - Modelling the feedwater system", VTT Research Report VTT-R-01749-08, VTT, Espoo, January 2009.
14. S. Minato, "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems", In the proceedings of the 30th ACM/IEEE Design Automation Conference, pp. 272-277, June 1993.
15. NuSMV Model Checker v.2.5.2. http://nusmv.fbk.eu/ 2010.
16. A. Rauzy, "New Algorithms for Fault Trees Analysis", Reliability Engineering and System Safety 40 203-211, 1993
17. A. Rauzy, "Mathematical foundation of minimal cutsets", IEEE Transactions on Reliability 50(4), 389-396, 2001;
18. A. Rauzy, Y. Dutuit, "Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia", Reliability Engineering & System Safety, Volume 58, Issue 2, Pages 127-144, 1997.
19. F. Somenzi, CUDD: CU Decision Diagram package, Public software, Colorado University, Boulder, 1997.
20. J. Valkonen, V. Pettersson, K. Björkman, J.-E. Holmberg, M. Koskimies, K. Heljanko, I. Niemelä, "Model-Based Analysis of an Arc Protection and an Emergency Cooling System", VTT Working Papers 93, VTT, Espoo. 2008.
21. M. Yau, S. Guarro and G. Apostolakis, "Demonstration of the dynamic flowgraph methodology using the Titan II space launch vehicle digital flight control system", Reliability Engineering and System Safety, Vol. 49, 335-353, 1995.