Reliability and availability analysis of dependent-dynamic systems with DRBDs
暂无分享,去创建一个
[1] Kishor S. Trivedi. SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator , 2002, Proceedings International Conference on Dependable Systems and Networks.
[2] Kishor S. Trivedi,et al. Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.
[3] Marc Bouissou,et al. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..
[4] Kishor S. Trivedi,et al. Reliability analysis techniques explored through a communication network example , 1996 .
[5] S. Distefano,et al. A new approach to modeling the system reliability: dynamic reliability block diagrams , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..
[6] Rolf Haenni,et al. Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions , 2006, KR.
[7] David Coppit,et al. Combining various solution techniques for dynamic fault tree analysis of computer systems , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).
[8] A. Puliafito,et al. Dynamic Reliability Block Diagrams VS Dynamic Fault Trees , 2007, 2007 Annual Reliability and Maintainability Symposium.
[9] Antonio Puliafito,et al. A Parallel Approach for the Solution of Non-Markovian Petri Nets , 2003, PVM/MPI.
[10] Kishor S. Trivedi,et al. Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.
[11] Kishor S. Trivedi,et al. Dependability modeling using Petri-nets , 1995 .
[12] David Coppit,et al. The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).
[13] Kerstin Buchacker,et al. Modeling with extended fault trees , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
[14] A. Brall,et al. Reliability Block Diagram Modeling - Comparisons of Three Software Packages , 2007, 2007 Annual Reliability and Maintainability Symposium.
[15] V. Volovoi. Modeling of System Reliability Using Petri Nets with Aging Tokens , 2004 .
[16] Giuliana Franceschinis,et al. Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics , 2003, IEEE Trans. Software Eng..
[17] Terry Williams,et al. Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .
[18] Eric R. Ziegel,et al. System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.
[19] Kishor S. Trivedi,et al. A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models , 1994, IEEE Trans. Computers.
[20] Antonio Puliafito,et al. Dynamic reliability block diagrams: Overview of a methodology , 2007 .
[21] Elmer E. Lewis,et al. A load-capacity interference model for common-mode failures in 1-out-of-2: G systems , 2001, IEEE Trans. Reliab..
[22] Rolf Haenni,et al. Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach , 2006 .
[23] Antonio Puliafito,et al. A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs , 2000, IEEE Trans. Software Eng..
[24] W E Vesely,et al. Fault Tree Handbook , 1987 .
[25] M. Bouissou. A Generalization of Dynamic Fault Trees through Boolean logic Driven Markov Processes (BDMP)® , 2007 .
[26] William H. Sanders,et al. The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.
[27] Antonio Puliafito,et al. Modeling Distributed Computing System Reliability with DRBD , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).
[28] Joanne Bechta Dugan,et al. Dependability assessment using binary decision diagrams (BDDs) , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[29] Jeffery D. Lewins,et al. Basics of the Monte Carlo Method with Application to System Reliability , 2003 .
[30] David Coppit,et al. Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees , 2000 .
[31] Arndt Bode,et al. OpenSESAME - the simple but extensive, structured availability modeling environment , 2008, Reliab. Eng. Syst. Saf..
[32] Kishor S. Trivedi,et al. Stochastic Reward Nets for Reliability Prediction , 1996 .
[33] Martin L. Shooman,et al. Reliability of Computer Systems and Networks: Fault Tolerance,Analysis,and Design , 2002 .
[34] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[35] Salvatore J. Bavuso,et al. Dynamic fault-tree models for fault-tolerant computer systems , 1992 .
[36] Luigi Portinale,et al. Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool , 2006, First International Conference on Availability, Reliability and Security (ARES'06).
[37] Hasan A. Kamal. Reliability Assessment of Structural Systems Using Discrete-Event Simulation , 1999 .
[38] David Coppit,et al. Developing a high-quality software tool for fault tree analysis , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).
[39] Boudewijn R. Haverkort,et al. Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .
[40] Poong-Hyun Seong,et al. Reliability graph with general gates: an intuitive and practical method for system reliability analysis , 2002, Reliab. Eng. Syst. Saf..
[41] Mostafa Abd-El-Barr,et al. Design and analysis of reliablle and fault-tolerant computer systems , 2007 .
[42] D. Ogden,et al. Reliability block diagram simulation techniques applied to the IEEE Std. 493 standard network , 2004, IEEE Transactions on Industry Applications.
[43] Vitali Volovoi,et al. Modeling of system reliability Petri nets with aging tokens , 2004, Reliab. Eng. Syst. Saf..
[44] Mark Allen Boyd. Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems , 1992 .