Availability Analysis of Redundancy Models for Network System with Non-Stop Forwarding
![]() |
Shim, Jaechan
(Network SW Platform Research Section, Electronics and Telecommunications Research Institute)
Ryu, Hongrim (Department of Information and Communications Engineering, Dongeui University) Ryu, Hoyong (Network SW Platform Research Section, Electronics and Telecommunications Research Institute) Park, Jaehyung (Electronics and Communication Engineering, Computer and Information, Chonnam National University) Lee, Yutae (Department of Information and Communications Engineering, Dongeui University) |
1 | 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. DOI |
2 | 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. |
3 | 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. |
4 | The Service Availability Forum, Application Interface Specification, April 2003, http://www.saforum.org |
5 | Telcordia Technology, "Generic Requirements for Operations Systems Platform Reliability," Telcordia Technology System Documentation, GR-2841-CORE, Issue 1, June, 1994. |
6 | IP Routing: OSPF Configuration Guide, CISCO IOS Release 15S, CISCO Systems, SanHose, CA, U.S.A |
7 | University of Hamburg, Petri nets world, http://www.inform atik.uni-hamburg.de/TGI/PetriNets/, 2015. |
8 | G. Ciardo and K. S. Trivedi, "SPNP User Manual, Version 6.0," Tecahnical Report, Duke Univ., 1999. |
![]() |