{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T05:10:02Z","timestamp":1746076202627,"version":"3.40.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_7","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"112-135","source":"Crossref","is-referenced-by-count":5,"title":["Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study"],"prefix":"10.1007","author":[{"given":"Vyacheslav","family":"Kharchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Odarushchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Odarushchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Popov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Review Guidelines for Field-Programmable Gate Arrays in Nuclear Power Plant Safety Systems. NUREG\/CR-7006, U.S. Nuclear Regulatory Commission, Washington, D.C., USA (2010)","key":"7_CR1"},{"unstructured":"Ventsel\u2019, E., Ovcharov, L.: Probability Theory and its Applications in Engineering. Nauka, Moscow (2000) (in Russian)","key":"7_CR2"},{"unstructured":"Archana, S., Srinivasan, R., Trivedi, K.S.: Availability Models in Practice. In: Proc. Int. Workshop on Fault-Tolerant Control and Computing (FTCC-1), Seoul, Korea, May 22-23 (2000)","key":"7_CR3"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1109\/TC.1986.1676840","volume":"35","author":"A. Bobbio","year":"1986","unstructured":"Bobbio, A., Trivedi, K.S.: A Aggregation Technique for Transient Analysis of Stiff Markov Chains. IEEE Transactions on Computers\u00a0C-35, 803\u2013814 (1986)","journal-title":"IEEE Transactions on Computers C-"},{"issue":"11","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1016\/0026-2714(94)90137-6","volume":"34","author":"M. Malhotra","year":"1994","unstructured":"Malhotra, M., Muppala, J.K., Trivedi, K.S.: Stiffness-Tolerant Methods for Transient Analysis of Stiff Markov Chains. Microelectronic Reliability\u00a034(11), 1825\u20131841 (1994)","journal-title":"Microelectronic Reliability"},{"unstructured":"Arushanyan, O., Zaletkin, S.: Numerical Solution of Ordinary Differential Equations using FORTRAN. Moscow State University, Moscow (1990) (in Russian)","key":"7_CR6"},{"issue":"10","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1992","DOI":"10.1109\/T-ED.1985.22232","volume":"32","author":"R.E. Bank","year":"1985","unstructured":"Bank, R.E., et al.: Transient Simulation of Silicon Devices and Circuits. IEEE Transactions on Electron Devices\u00a032(10), 1992\u20132007 (1985)","journal-title":"IEEE Transactions on Electron Devices"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R. Geist","year":"1990","unstructured":"Geist, R., Trivedi, K.S.: Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques. Computer\u00a023, 52\u201361 (1990)","journal-title":"Computer"},{"unstructured":"Kharchenko, V., Timonkin, G., Sychev, V.: Fundamentals of Design and Constructions the Automated Systems for Aircraft Complexes Technical State Control. Study Guide. KhHMCIC, Kharkov (1992) (in Russian)","key":"7_CR9"},{"unstructured":"Nicola, V.F.: Markovian Models of Transactional System Supported by Check Pointing and Recovery Strategies, Part 1: a Model with State-Dependent Parameters. Eindhoven Univ. Technol., Eindhoven, The Netherlands, EUT Rep. 82-E-128 (1982)","key":"7_CR10"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1287\/ijoc.1.2.126","volume":"1","author":"A. Reibman","year":"1989","unstructured":"Reibman, A., Trivedi, K.S., Kumar, S., Ciardo, G.: Analysis of Stiff Markov Chains. ORSA Journal on Computing\u00a01(2), 126\u2013133 (1989)","journal-title":"ORSA Journal on Computing"},{"unstructured":"Hayrer, E., Vanner, G.: Solution of Ordinary Differential Equations. Stiff and Differential-Algebraic Poblems. Mir, Moscow (1999) (in Russian)","key":"7_CR12"},{"unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes. The Art of Scientific Computing, 3rd edn. Cambridge University Press (2007)","key":"7_CR13"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A. Reibman","year":"1988","unstructured":"Reibman, A., Trivedi, K.S.: Numerical Transient Analysis of Markov models. Comput. Opns. Res.\u00a015(1), 19\u201336 (1988)","journal-title":"Comput. Opns. Res."},{"key":"7_CR15","first-page":"87","volume":"36","author":"A. Jensen","year":"1953","unstructured":"Jensen, A.: Markoff Chains as an Aid in the Study of Markoff Processes. Skand. Aktuarietidskrift\u00a036, 87\u201391 (1953)","journal-title":"Skand. Aktuarietidskrift"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1985","unstructured":"Fox, B.L., Glynn, P.W.: Computing Poisson Probabilities. Commun. ACM\u00a031(4), 440\u2013445 (1985)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Miranker, L.: Numerical Methods for Stiff Equations and Singular Perturbation Problems, Dordrecht, Holland (1981)","key":"7_CR17","DOI":"10.1007\/978-94-009-8772-2"},{"unstructured":"Kharchenko, V., Popov, P., Odarushchenko, O., Zhadan, V.: Empirical Evaluation of Accuracy of Mathematical Software Used for Availability Assessment of Fault-Tolerant Computer Systems. RT&A #03(26), 7, 85\u201397 (2012)","key":"7_CR18"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/384192.384195","volume":"33","author":"B. Littlewood","year":"2001","unstructured":"Littlewood, B., Popov, P., Strigini, L.: Modelling Software Design Diversity - a Review. ACM Computing Surveys\u00a033(1), 177\u2013208 (2001)","journal-title":"ACM Computing Surveys"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24270-0_1","volume-title":"Computer Safety, Reliability, and Security","author":"P. Popov","year":"2011","unstructured":"Popov, P., Manno, G.: The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 1\u201314. Springer, Heidelberg (2011)"},{"unstructured":"Kharchenko, V., Odarushchenko, O., Ponochovny, Y., Odarushchenko, E., Kharibin, O., Odarushchenko, V.: High Availability Systems and Technologies. In: Kharchenko, V. (ed.) Lectures, National Aerospace University \u201cKhAI\u201d (2012)","key":"7_CR21"},{"unstructured":"Wolfram Mathematica 9 Documentation Center, http:\/\/reference.wolfram.com\/mathematica\/tutorial\/NDSolveStiffnessSwitching.html","key":"7_CR22"},{"doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Ciardo, G., Dasarathy, B., Grottke, M., Matias, R., Rindos, A., Varshaw, B.: Achieving and Assuring High Availability. In: IEEE International Symposium, IPDPS 2008, pp. 1\u20137 (2008)","key":"7_CR23","DOI":"10.1109\/IPDPS.2008.4536147"},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"K.S. Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: SHARPE at the Age of Twenty Two. ACM SIGMETRICS Performance Evaluation Review\u00a036(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"unstructured":"Reliability Software, Training, Consulting and Related Reliability Engineering Analysis Services from ReliaSoft Corporation, http:\/\/www.reliasoft.com\/index.html","key":"7_CR25"},{"doi-asserted-by":"crossref","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, M.J., Sanders, W.H., Webster, P.: The M\u00f6bius Modeling Tool. In: Proc. 9 Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, pp. 241\u2013250 (2001)","key":"7_CR26","DOI":"10.1109\/PNPM.2001.953373"},{"unstructured":"IEC 61508 (6 part), Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems (2010)","key":"7_CR27"},{"unstructured":"Kharchenko, V., Sklyar, V., Volkoviy, A.: Development and Verification of Dependable Multi-Version Systems on the Basic of IP-Cores. In: Proc. Int. Conf. Dependability of Computer Systems (2008)","key":"7_CR28"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:29:52Z","timestamp":1746073792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}