Comparing redundancy models for high availability middleware

Highly available systems are fault tolerant systems with no single point of failure. Thus the failure of a system component does not imply the outage of the service (i.e. the functionality) provided by the component. This is achieved by deploying redundant components that resume the service provisioning in case of failure. These redundant components may collaborate in assuring the availability of their service according to different redundancy models. In this paper we analyze these redundancy models under different assumptions, and compare their effectiveness with respect to availability in the context of a standardized middleware for service high availability and under some specific setups to derive configuration guidelines.

[1]  Hoon Choi,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[2]  V. Volovoi Modeling of System Reliability Using Petri Nets with Aging Tokens , 2004 .

[3]  Kishor S. Trivedi,et al.  Achieving and Assuring High Availability , 2008, ISAS.

[4]  Kishor S. Trivedi,et al.  Availability analysis of blade server systems , 2008, IBM Syst. J..

[5]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[6]  Maria Toeroe,et al.  Configuration-Based Service Availability Analysis for Middleware Managed Applications , 2012, SAM.

[7]  Wei Xie,et al.  Modeling of user perceived webserver availability , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[8]  Michael R. Lyu Software Reliability Engineering: A Roadmap , 2007, Future of Software Engineering (FOSE '07).

[9]  J. Su,et al.  2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China , 2008, RAM.

[10]  Katinka Wolter,et al.  A Petri net model for service availability in redundant computing systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[11]  Pawel Swiatek,et al.  Complex Services Availability in Service Oriented Systems , 2011, 2011 21st International Conference on Systems Engineering.

[12]  Vitali Volovoi,et al.  Modeling of system reliability Petri nets with aging tokens , 2004, Reliab. Eng. Syst. Saf..

[13]  Ali Kanso,et al.  Integration of the VideoLAN Client with OpenSAF: An Example , 2012 .

[14]  Shang Yaoxing,et al.  Petri-nets Based Availability Model of Fault-Tolerant Server System , 2008, 2008 IEEE Conference on Robotics, Automation and Mechatronics.

[15]  Kishor S. Trivedi,et al.  Modeling User-Perceived Service Availability , 2005, ISAS.