Sciweavers

TSMC
2010

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

12 years 9 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
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...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z
Added 22 May 2011
Updated 22 May 2011
Type Journal
Year 2010
Where TSMC
Authors Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Zhou
Comments (0)