Browse > Article
http://dx.doi.org/10.6109/jkiice.2014.18.11.2634

Availability Analysis of 2N Redundancy System Using Stochastic Models  

Kim, Dong Hyun (school of Computer Science & Engineering, Pusan National University)
Lee, Yutae (Department of Information and Communications Engineering, Dongeui University)
Abstract
The idea of redundancy is used in order to improve the availability of networks and systems and there are various methods for implementing redundancy. To perform the availability analysis various stochastic models have been used. In this paper, 2N redundancy with one active service unit and one standby service unit is considered. To evaluate the expected availability, we model 2N redundancy using Stochastic Reward Nets. This model can be solved using the SPNP package.
Keywords
Redundancy model; availability; 2N redundancy; stochastic model;
Citations & Related Records
연도 인용수 순위
  • Reference
1 B. R. Haverkort, "Approximate performability and dependability modeling using generalized stochastic Petri nets," Performance Evaluation, vol. 18, pp.61-78, 1993.   DOI   ScienceOn
2 A. Bobbio and K. S. Trivedi, "Computing cumulative measures of stiff Markov chains using aggregation," IEEE Transaction on Computers, vol. 39, no. 10, pp.1291-1298, 1990.   DOI   ScienceOn
3 G. Ciardo and K. S. Trivedi, "SPNP Users Manual, Version 6.0," Duke University, Technical report, 1999.
4 V. Mainkar and K. S. Trivedi, "Sufficient conditions for existence of a fixed point stochastic reward net-based iterative models," IEEE Transaction on Software Engineering, vol. 22, no. 9, pp.640-653, Sep., 1996.   DOI   ScienceOn
5 The Service Availability Forum, Application Interface Specification, April 2003, http://www.saforum.org.
6 A. Kanso, F. Khendek, A. Mishra, and M. Toeroe, "Integrating Legacy Applications for High Availability: a Case Study", in Proceeding of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp. 83-90, 2011.
7 M. Malhotra, J. K. Muppala, and K. S. Trivedi, "Stiffnesstolerant methods for transient analysis of stiff Markov chains," Microelectron. Relib., vol. 34, no. 11, pp.1825-1841, 1994.   DOI   ScienceOn
8 K. S. Trivedi, J. K. Muppala, S. P. Woolet, and B. R. Haverkort, "Composite performance and dependability analysis," Performance Evaluation, vol. 14, pp. 197-215, 1992.   DOI   ScienceOn