Drbd: Dynamic Reliability Block Diagrams for System Reliability Modelling

Xu, Haiping; Xing, Liudong; Robidoux, R.

doi:10.1080/1206212x.2009.11441934

Cited by 24 publications

(32 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Robidoux [6] proposes the Dynamic RBD (DRBD) model, an extension to RBD, which supports the reliability analysis of systems with dependence relationships. The additional blocks (in relation to RBD) to model dependence made the DRBD model complex.…”

Section: Dependabilitymentioning

confidence: 99%

See 1 more Smart Citation

An Integrated Modeling Approach to Evaluate and Optimize Data Center Sustainability, Dependability and Cost

et al. 2014

View full text Add to dashboard Cite

Data centers have evolved dramatically in recent years, due to the advent of social networking services, e-commerce and cloud computing. The conflicting requirements are the high availability levels demanded against the low sustainability impact and cost values. The approaches that evaluate and optimize these requirements are essential to support designers of data center architectures. Our work aims to propose an integrated approach to estimate and optimize these issues with the support of the developed environment, Mercury. Mercury is a tool for dependability, performance and energy flow evaluation. The tool supports reliability block diagrams (RBD), stochastic Petri nets (SPNs), continuous-time Markov chains (CTMC) and energy flow (EFM) models. The EFM verifies the energy flow on data center architectures, taking into account the energy efficiency and power capacity that each device can provide (assuming power systems) or extract (considering cooling components). The EFM also estimates the sustainability impact and cost issues of data center architectures. Additionally, a methodology is also considered to support the modeling, evaluation and optimization processes. Two case studies are presented to illustrate the adopted methodology on data center power systems.

show abstract

Section: Dependabilitymentioning

confidence: 99%

“…Most related works focus on estimating only dependability [6][7][8], sustainability [9][10][11]13,14] or cost [15] of data center architectures. Other works have performed efforts to compute and optimize dependability [20] or sustainability [19].…”

Section: Concluding Remarkmentioning

confidence: 99%

An Integrated Modeling Approach to Evaluate and Optimize Data Center Sustainability, Dependability and Cost

et al. 2014

View full text Add to dashboard Cite

show abstract

“…Robidoux [28] proposes Dynamic RBD (DRBD) model, an extension to RBD, which supports reliability analysis of systems with dependence relationships. The additional blocks (in relation to RBD) to model dependence, turned the DRBD model complex.…”

Section: Related Workmentioning

confidence: 99%

A Petri Net-Based Approach to the Quantification of Data Center Dependability

Callou¹,

Maciel²,

Tutsch³

et al. 2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…Therefore, formal verification of a DRBD model is an essential step in developing a correct system reliability model for the I evaluation of a system's reliability. In our recent work, we demonstrated some preliminary results on how to formally verify a DRBD model using colored Petri nets (CPN) [4][5], which provide the formal semantics for DRBD models. The approach follows the basic philosophy of recent efforts on converting a UML (Unified Modeling Language) diagram to Petri nets for formal verification [6].…”

Section: Introductionmentioning

confidence: 99%

“…Recently, an extension to RBD, called dynamic reliability block diagram (DRBD) [4][5], was introduced with new controller constructs that support modeling dynamic, dependent and redundant relationships between components in a computer-based system. Although it has been shown that the DRBD approach is very effective in modeling a system's dynamic reliability properties, subtle flaws in it can be easily introduced due to its modeling complexity.…”

Section: Introductionmentioning

confidence: 99%

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

Robidoux

Xing

et al. 2010

IEEE Trans. Syst., Man, Cybern. A

123

View full text Add to dashboard Cite

Abstract-Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliability properties. A recent extension to RBD, called dynamic reliability block diagrams (DRBD), defines a framework for modeling dynamic reliability behavior of computer-based systems. However, analyzing a DRBD model in order to locate and identify design errors, such as a deadlock error or faulty state, is not trivial when done manually. A feasible approach to verifying it is to develop its formal model, and then analyze it using programmatic methods. In this paper, we first define a reliability markup language (RML) that can be used to formally describe DRBD models. Then we present an algorithm that automatically converts a DRBD model into a colored Petri net (CPN). We use a case study to illustrate the effectiveness of our approach and demonstrate how system properties of a DRBD model can be verified using an existing Petri net tool. Our formal modeling approach is compositional, thus it provides a potential solution to automated verification of DRBD models. Index Terms-System

show abstract

Drbd: Dynamic Reliability Block Diagrams for System Reliability Modelling

Cited by 24 publications

References 11 publications

An Integrated Modeling Approach to Evaluate and Optimize Data Center Sustainability, Dependability and Cost

An Integrated Modeling Approach to Evaluate and Optimize Data Center Sustainability, Dependability and Cost

A Petri Net-Based Approach to the Quantification of Data Center Dependability

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

Contact Info

Product

Resources

About