System modeling with dynamic reliability block diagrams

Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk

Volumn 1, Issue , 2006, Pages 141-150

  Distefano, S ^a   Puliafito, A ^a  

^a UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SYSTEMS; DYNAMICAL SYSTEMS; FAILURE ANALYSIS; FAULT TREE ANALYSIS; QUALITY ASSURANCE; REDUNDANCY; RISK MANAGEMENT; SCHRODINGER EQUATION; SEMICONDUCTOR DEVICE MODELS;

COMPLEX COMPUTER SYSTEMS; DEPENDENCE MODELS; DYNAMIC RELIABILITIES; DYNAMIC RELIABILITY BLOCK DIAGRAMS; LOAD SHARING; MODELING APPROACHES; MODELING TOOLS; RELIABILITY BLOCK DIAGRAMS; SPECIFIC REQUIREMENTS; STATES AND EVENTS; SYSTEM FEATURES; SYSTEM MODELING;

RELIABILITY; REDUNDANCY;

COMPLEX COMPUTER SYSTEMS; DEPENDENCE MODEL; DYNAMIC RELIABILITY; LOAD SHARING; MODELING APPROACH; MODELING TOOL; RELIABILITY BLOCK DIAGRAMS; STATES AND EVENTS; SYSTEM FEATURES; SYSTEM MODELING;

EID: 56249108428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Bobbio, A., A. Puliafito, and M. Telek (2000). A modeling framework to implement preemption policies in non-markovian spns. IEEE Transaction on Software Engineering 26(1), 36-54.
2. Bouissou, M. and J.-L. Bonc (2003, November). A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes. Reliability Engineering and System Safety 82(2), 149-163.
3. Boyd, M.A. (1991, April). Dynamic Fault Tree Models: Techniques for Analysis of Advanced Fault Tolerant Computer Systems. Ph. D. thesis, Duke University, Department of Computer Science.
4. Distefano, S. (2005). System Dependability and Performances: Techniques, Methodologies and Tools. Ph. D. thesis, University of Messina.
5. Doyle, S.A., J.B. Dugan, and M. Boyd (1995, June). Dependability assessment using binary decision diagrams (BDDs). In International Symposium on Fault Tolerant Computing, pp. 249-258.
6. Dugan, J.B. and S.A. Doyle (1996, January). New results in fault-tree analysis. In Reliability and Maintainability Symposium, pp. 568-573. Tutorial Notes.
7. Gedam, S.G. and S. Beaudet (2000). Monte Carlo simulation using Excel®spreadsheet for predicting reliability of a complex system. In Reliability and Maintainability Symposium, pp. 188-193.
8. Institute of Electrical and Electronics Engineers (2000). The Authoritative Dictionary of IEEE Standards Terms (7th ed.). Los Alamitos, CA, USA.
9. Isograph Inc. (2006). Isograph tool website. www.isograph.com. USA.
10. Johnson, B.W. (1988). Design and Analysis of Fault Tolerant Digital Systems. Addison-Wesley Longman Pub. Co. Inc.
11. Kim, M.C. and P.H. Seong (2002). Reliability graph with general gates: An intuitive and practical method for system reliability analysis. Reliability Engineering and System Safety 78(3), 239-246.
12. Manian, R., J.B. Dugan, D. Coppit, and K.J. Sullivan (1998). Combining various solution techniques for dynamic fault tree analysis of computer systems. In IEEE International High-Assurance Systems Engineering Symposium.
13. Rausand, M. and A. Høyland (2003, November). System Reliability Theory: Models, Statistical Methods, and Applications (3rd ed.). Wiley-IEEE.
14. Reliass Ltd. (2006). RAMP tool website. www.reliability-safety-software. com. UK.
15. Sahner, R., K. Trivedi, and A. Puliafito (1996). Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher.
16. Smith, D.J. (2001, March). Reliability, Maintainability and Risk Practical Methods for Engineers (6th ed.). Newnes.
17. Trivedi, K.S. (2001, November). Probability and Statistics with Reliability, Queuing and Computer Science Applications (2nd ed.). Chichester, UK: John Wiley and Sons Ltd.
18. Vesely, W.E., F.F. Goldberg, N.H. Roberts, and D.F. Haasl (1981). Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC.
19. Volovoi, V.V. (2004). Modeling of system reliability using petri nets with aging tokens. Reliability Engineering and System Safety 84(2), 149-161.