Advanced SearchSearch Tips
Availability Analysis of Redundancy Models for Network System with Non-Stop Forwarding
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
Availability Analysis of Redundancy Models for Network System with Non-Stop Forwarding
Shim, Jaechan; Ryu, Hongrim; Ryu, Hoyong; Park, Jaehyung; Lee, Yutae;
  PDF(new window)
In this paper, we analyse the effect of redundancy types and non-stop forwarding scheme on network service availability. We use stochastic reward net models as enabling modeling approach for the analytical evaluation. We first design stochastic reward nets for redundancy models with or without non-stop forwarding and then evaluate their availability using Stochastic Petri Net Package.
Availability;Redundancy;Non-stop forwarding;Stochastic Petri Net Package;
 Cited by
J. C. Shim, H. Y. Ryu, and S. H. Yang, Trends of High Availability Networking Services, Electronics and Telecommunications Trends, Vol.30, No.6, pp. 79-89, 2015.

The Service Availability Forum, Application Interface Specification, April 2003,

Telcordia Technology, "Generic Requirements for Operations Systems Platform Reliability," Telcordia Technology System Documentation, GR-2841-CORE, Issue 1, June, 1994.

IP Routing: OSPF Configuration Guide, CISCO IOS Release 15S, CISCO Systems, SanHose, CA, U.S.A

University of Hamburg, Petri nets world, http://www.inform, 2015.

G. Ciardo and K. S. Trivedi, "SPNP User Manual, Version 6.0," Tecahnical Report, Duke Univ., 1999.

A. A. Marsan and G. Balbo, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems," ACM Trans. Comp. Systems, Vol.2, No.2, pp.93-122, 1984. crossref(new window)

A. Kanso, F. Khendek, A. Mishra, and M. Toeroe, "Integrating Legacy Applications for High Availability: a Case Study," 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp. 83-90, 2011.