0
Research Papers

Multifragmentation Markov Modeling of a Reactor Trip System

[+] Author and Article Information
Vyacheslav Kharchenko

Centre of Safety Infrastructure, Oriented Research and Analysis,
Kharkiv 61000, Ukraine
e-mail: v.kharchenko@csis.org.ua

Valentina Butenko

Department of Computers Systems and Networks,
National Aerospace University “KhAI,”
Kharkiv 61000, Ukraine e-mail: v.odarushchenko@csn.khai.edu

Oleg Odarushchenko

Research and Production Corporation Radiy,
Kirovograd 25009, Ukraine
e-mail: odarushchenko@gmail.com

Vladimir Sklyar

Research and Production Corporation Radiy,
Kirovograd 25009, Ukraine
e-mail: vvsklyar@mail.ru

Manuscript received August 19, 2014; final manuscript received November 6, 2014; published online May 14, 2015. Assoc. Editor: John F. P. de Grosbois.

ASME J of Nuclear Rad Sci 1(3), 031005 (May 14, 2015) (10 pages) Paper No: NERS-14-1037; doi: 10.1115/1.4029342 History: Received August 19, 2014; Accepted December 09, 2014; Online May 14, 2015

Markov models (MM) are widely used in dependability assessment of complex safety-critical systems. The main computational difficulties in using MMs are model size and stiffness. Selection of the solution approach (SA) and tools based on analysis of MM stiffness and complexity increases the assessment accuracy. This paper presents the safety assessment of nuclear power plan instrumentation and control system (NPP I&Cs): a two-channel FPGA-based reactor trip system with three parallel tracks on “2-out-of-3” logic. The MM was built using a multifragmentation approach and solved with several SAs and tools. The analysis of results shows few application problems: the importance of usability-oriented tool selection, achieving an accurate result, and supporting the results verification.

FIGURES IN THIS ARTICLE
<>
Copyright © 2015 by ASME
Your Session has timed out. Please sign back in to continue.

References

Archana S., Srinivasan, R., and Trivedi, K. S., 2000, “Availability Models in Practice,” Proceedings of the International Workshop on Fault-Tolerant Control and Computing (FTCC-1), Seoul, Korea, May 22–23, pp. 823–829.
Smith, W. E., Trivedi, K. S., Tomek, L. A., and Ackaret, J., 2008, “Availability Analysis of Blade Server Systems,” IBM Syst. J., 47(4), pp. 1–20. 10.1147/SJ.2008.5386518
Kharchenko, V., Sklyar, V., Odarushchenko, O., and Ivasuyk, A., 2013, “Fault-Injection Testing: FIT-ability, Optimal Procedure and Tool for FPGA-Based System SIL Certification,” East-West Design & Test Symposium, Rostov-On-Don, IEEE Xplore, 27–30 Sept., pp. 1–5. doi:.
Lyu, M. R., 1996, Handbook of Software Reliability Engineering, IEEE Computer Society Press and McGraw-Hill Book Co., New York, 819 pp.
Musa J. D., 1987, Software Reliability: Measurement, Prediction, Application, McGraw-Hill Company, New York, 395 pp.
Kharchenko, V., Odarushchenko, O., Odarushchenko, V., and Popov, P., “Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study” Springer Verlag (CCIS, Vol. 412), Berlin/Heidelberg, Germany, pp. 112–135.
Kharchenko, V., Odarushchenko, O., Ponochovny, Y., Odarushchenko, E., Kharibin, O., and Odarushchenko, V., 2012, “High Availability Systems and Technologies,” V. Kharchenko, ed., Lectures, National Aerospace University “KhAI” Press, Khakiv, Ukraine, p. 249.
Reibman, A., and Trivedi, K. S., 1988, “Numerical Transient Analysis of Markov models,” Comput. Oper. Res., 15(1), pp. 19–36. 10.1016/0305-0548(88)90026-3
Malhotra, M., Muppala, J. K., and Trivedi, K. S., 1994, “Stiffness-Tolerant Methods for Transient Analysis of Stiff Markov Chains,” Microelectron. Reliab., 34(11), pp. 1825–1841. 10.1016/0026-2714(94)90137-6
Bobbio, A., and Trivedi, K. S., 1986, “A Aggregation Technique for Transient Analysis of Stiff Markov Chains,” IEEE Trans. Comput., C-35(9), pp. 803–814. 10.1109/TC.1986.1676840
Arushanyan, O., and Zaletkin, S., 1990, Numerical Solution of Ordinary Differential Equations using FORTRAN, Moscow State University, Moscow, 336 pp.
Möbius: Model-Based Environment for Validation of System Reliability, Availability, Security and Performance, http://www.mobius.illinois.edu.
Reliability Software, Training, Consulting and Related Reliability Engineering Analysis Services from ReliaSoft Corporation, http://www.reliasoft.com/index.html.
Standard ECSS-Q-ST-30-09, 2008, “European Cooperation for Space Standardization (ECSS): Availability Analysis,” Noordwijk, Netherlands.
Kharchenko, V., Popov, P., Odarushchenko, O., and Zhadan, V., 2012, “Empirical Evaluation of Accuracy of Mathematical Software Used for Availability Assessment of Fault-Tolerant Computer Systems,” RT&A-Vol. 3(26), pp. 85–97.
Chiola, G., Dutheillet, C., Franceschinis, G., and Haddad, S., 1993, “Stochastic Well-formed Colored Nets and Symmetric Modeling Applications,” IEEE Trans. Comput., 42(11), pp. 1343–1360. 10.1109/12.247838
Donatelli, S., 1994, “Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution,” Proceedings of the 15th International Conference on Applications and Theory of Petri Nets, LNCS, Springer-Verlag, Madrid, Spain, Vol. 815, pp. 258–277.
Hillston, J., 1996, A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge, UK, p. 159.
Derisavi, S., Holger, H., and Sanders, W. H., 2003, “Optimal State-Space Lumping in Markov Chains,” Inf. Process. Lett., 87(6), pp. 309–315. 10.1016/S0020-0190(03)00343-0
Hairer, E., and Wanner, G., 2010, Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems, R. Bank, R. I. Graham, J. Stoer, R. Varga, H. Yserentant, eds., Springer-Verlag, Berlin, Germany, p. 631, 21 pp.
Trivedi, K. S., and Sahner, R., 2009, “SHARPE at the Age of Twenty Two,” ACM SIGMETRICS Perform. Eval. Rev., 36(4), pp. 52–57.
IEC 61508, 6 part, 2010, “Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems,” IEC Standards, Geneva, Switzerland.
Press, W. H, Teukolsky S. A., Vetterling W. T., and Flannery B. P., 2007, Numerical Recipes. The Art of Scientific Computing, 3rd ed., Cambridge University Press, Cambridge, UK, 126 pp.

Figures

Grahic Jump Location
Fig. 1

The structure diagram of a typical track

Grahic Jump Location
Fig. 2

Reliability-block diagram of two-channel three-track system

Grahic Jump Location
Fig. 3

MM Of RTS in case of physical faults

Grahic Jump Location
Fig. 5

MM of RTS in case of design faults

Grahic Jump Location
Fig. 6

Comparison of the results obtained with STA for t=[0;10,000]

Tables

Errata

Discussions

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In