• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.12
• /
• pp.2828-2835
• /
• 2015

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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.11
• /
• pp.2634-2639
• /
• 2014

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.