Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Kharchenko, V. S.; Popov, P. T.; Odarushchenko, O.; Zhadan, V. (2012)
Publisher: International Group on Reliability
Languages: English
Types: Article
Subjects: QA76
Dependability assessment is typically based on complex probabilistic models. Markov and semi-Markov models are widely used to model dependability of complex hardware/software architectures. Solving such models, especially when they are stiff, is not trivial and is usually done using sophisticated mathematical software packages. We report a practical experience of comparing the accuracy of solutions stiff Markov models obtained using well known commercial and research software packages. The study is conducted on a contrived but realistic cases study of computer system with hardware redundancy and diverse software under the assumptions that the rate of failure of software may vary over time, a realistic assumption. We observe that the disagreement between the solutions obtained with the different packages may be very significant. We discuss these findings and directions for future research.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] Volkov, L. (1981): Managing the operation of the aircraft systems: Tutorial. Moscow: Vyshaya Shkola. 368 p.
    • Ventsel', E., Ovcharov, L. (2000): Probability theory and its applications in engineering. Moscow: Nauka. 480 p .
    • Ventsel', E., Ovcharov, L. (1988): The theory of stochastic processes and its engineering applications, Moscow: Nauka. 384 p .
    • Arushanyan, O., Zaletkin, S. (1990) : Numerical solution of ordinary differential equations using FORTRAN, Moscow: Moscow State University, 336 p.
    • Littlewood, B., Popov, P. & Strigini, L. (2001): Modelling software design diversity - a review //ACM Computing Surveys. Vol. 33, №1. pp. 177 - 208.
    • Popov, P. & Manno, G. (2011): The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. in Computer Safety, Reliability, and Security (SAFECOMP 2011).
    • Malthora, M., J.K. Muppala, & Trivedi K.S. (1994): Stiffness-Tolerant Methods for Transient Analysis of Stiff Markov Chains. Microelectronics Reliability. Vol. 34, № 11, pp. 1825-1841.
    • Reibman, A., et al. (1989): Analysis of stiff Markov Chains. Operations Research Society of America. Vol. 1, № 2, pp. 126 - 133.
    • Reibman, A. & Trivedi K.S. (1988): Numerical Transient Analysis of Markov models. Comput.
    • Opns. Res. Vol. 15, № 1. pp. 19-36.
    • Bobio, A. & Trivedi K.S. (1986): An Aggregation Technique for the Transient Analysis of Stiff Markov Chains // IEEE Transactions on Computers. Vol. C-35, № 9. pp. 803 - 814.
    • Bobio, A. & Trivedi K.S. (1990): Computing Cumulative Measures of Stiff Markov Chains Using Aggregation // IEEE Transactions on Computers. Vol. 39, № 10. pp. 1291-1298.
    • Diener, J.D. (1994): Empirical Comparison of Uniformisation Methods for Continuous Time Markov Chains, in Electrical and Computer Engineering // The University of Arizona. 97 p.
    • [14] Diener, J.D. & Sanders W.H. (1995): Empirical Comparison of Uniformisation Methods for Kluwer Academic. pp. 547 - 570.
    • Software Engineering. pp. 785 - 797.
    • Hatton, L. & Roberts A. (1994): How Accurate is scientific Software? // IEEE Transactions on
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article