DEEM: a tool for the dependability modeling and evaluation of multiple phased systems

Multiple-phased systems, whose operational life can be partitioned into a set of disjoint periods called "phases", include several classes of systems, such as phased mission systems and scheduled maintenance systems. Because of their deployment in critical applications, the dependability modeling and analysis of multiple-phased systems is a task of primary relevance. However, the phased behavior makes the analysis of multiple-phased systems extremely complex. This paper is centered on the description and application of DEEM, a dependability modeling and evaluation tool for multiple-phased systems. DEEM supports a powerful and efficient methodology for the analytical dependability modeling and evaluation of multiple-phased systems, based on deterministic and stochastic Petri nets and on Markov regenerative processes.

[1]  A. Bondavalli,et al.  Dependability modeling and evaluation of phased mission systems: a DSPN approach , 1999, Dependable Computing for Critical Applications 7.

[2]  Mansoor Alam,et al.  Quantitative Reliability Evaluation of Repairable Phased-Mission Systems Using Markov Approach , 1986, IEEE Transactions on Reliability.

[3]  Joanne Bechta Dugan.  Automated analysis of phased-mission reliability , 1991 .

[4]  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.

[5]  Kishor S. Trivedi,et al.  Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems , 1999, EDCC.

[6]  James A. Ritcey,et al.  Phased mission reliability analysis , 1990, SIGMETRICS '90.

[7]  Andrea Bondavalli,et al.  Hierarchical modeling and evaluation of phased-mission systems , 1999 .

[8]  Susann C. Allmaier,et al.  PANDA -- Petri Net Analysis and Design Assistant , 1997 .

[9]  Andreas Reuys,et al.  The DSPNexpress 2.000 performance and dependability modeling environment , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[10]  Lu Wei,et al.  Evaluation of fault-tolerant systems with nonhomogeneous workloads , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

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

[12]  M. Smotherman,et al.  A non-homogeneous Markov model for phased-mission reliability analysis , 1989 .

[13]  John F. Meyer,et al.  Performability Evaluation of the SIFT Computer , 1980, IEEE Transactions on Computers.