메뉴 건너뛰기




Volumn 2, Issue , 2007, Pages 1059-1068

Dynamic reliability block diagrams: Overview of a methodology

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; FAILURE ANALYSIS; FAULT TREE ANALYSIS; PROBABILITY DENSITY FUNCTION; RELIABILITY; RISK PERCEPTION; SEMICONDUCTOR DEVICE MODELS; TREES (MATHEMATICS);

EID: 56149101543     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (18)

References (32)
  • 2
    • 0033907723 scopus 로고    scopus 로고
    • Monte Carlo simulation using Excel® spreadsheet for predicting reliability of a complex system
    • Gedam, S. G. & Beaudet, S. 2000. Monte Carlo simulation using Excel® spreadsheet for predicting reliability of a complex system. Reliability and Maintainability Symposium: pp. 188-193.
    • (2000) Reliability and Maintainability Symposium , pp. 188-193
    • Gedam, S.G.1    Beaudet, S.2
  • 5
    • 0028377592 scopus 로고
    • A combinatorial algorithm for performance and reliability analysis using multistate models
    • Veeraraghavan, M. & Trivedi, K. S. 1994. A combinatorial algorithm for performance and reliability analysis using multistate models. IEEE Trans. Computers. Vol. 43, no. 2: pp. 229-234.
    • (1994) IEEE Trans. Computers , vol.43 , Issue.2 , pp. 229-234
    • Veeraraghavan, M.1    Trivedi, K.S.2
  • 6
    • 0141793198 scopus 로고    scopus 로고
    • A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes
    • Bouissou, M. & Bonc, J. L. 2003. A new formalism that combines advantages of fault trees and Markov models: Boolean logic driven Markov processes. Reliability Engineering and System Safety. Vol. 82, no. 2: pp. 149-163.
    • (2003) Reliability Engineering and System Safety , vol.82 , Issue.2 , pp. 149-163
    • Bouissou, M.1    Bonc, J.L.2
  • 7
    • 0029378948 scopus 로고
    • Dependability modeling using Petri-nets
    • Malhotra, M. & Trivedi, K. S. 1995. Dependability modeling using Petri-nets. IEEE Transaction on Reliability. Vol. 44, no. 3: pp. 428-440.
    • (1995) IEEE Transaction on Reliability , vol.44 , Issue.3 , pp. 428-440
    • Malhotra, M.1    Trivedi, K.S.2
  • 8
    • 0037340045 scopus 로고    scopus 로고
    • Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics
    • Bobbio, A., Franceschinis, G., Gaeta, R., Portinaie, L. 2003. "Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. Software Engineering. Vol. 29, no. 3: 270-287.
    • (2003) IEEE Trans. Software Engineering , vol.29 , Issue.3 , pp. 270-287
    • Bobbio, A.1    Franceschinis, G.2    Gaeta, R.3    Portinaie, L.4
  • 13
    • 56149103470 scopus 로고    scopus 로고
    • Vesely, W.E., Goldberg, F. F., Roberts, N. H., Haasl, D. F. 1981. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC.
    • Vesely, W.E., Goldberg, F. F., Roberts, N. H., Haasl, D. F. 1981. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC.
  • 21
    • 0026925395 scopus 로고
    • Dynamic fault tree models for fault tolerant computer systems
    • Dugan, J. B., Bavuso, S., Boyd M. 1992. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability. Vol. 41, no. 3: pp. 363-377.
    • (1992) IEEE Transactions on Reliability , vol.41 , Issue.3 , pp. 363-377
    • Dugan, J.B.1    Bavuso, S.2    Boyd, M.3
  • 23
    • 0041852296 scopus 로고
    • Reliability and performability techniques and tools: A survey
    • Malhotra, M. & Trivedi, K. S. 1993. Reliability and performability techniques and tools: a survey. MMB: pp. 27-48.
    • (1993) MMB , pp. 27-48
    • Malhotra, M.1    Trivedi, K.S.2
  • 25
    • 0034542615 scopus 로고    scopus 로고
    • Formal semantics for computational engineering: A case study on dynamic fault trees
    • Coppit, D., Sullivan, K. J., Dugan, J. B. 2000. Formal semantics for computational engineering: A case study on dynamic fault trees. ISSRE: pp. 270-282.
    • (2000) ISSRE , pp. 270-282
    • Coppit, D.1    Sullivan, K.J.2    Dugan, J.B.3
  • 26
    • 2142697193 scopus 로고    scopus 로고
    • Modeling of system reliability using Petri nets with aging tokens
    • Volovoi, V. V. 2004 "Modeling of system reliability using Petri nets with aging tokens," Reliability Engineering and System Safety, Vol. 84, no. 2: pp. 149-161.
    • (2004) Reliability Engineering and System Safety , vol.84 , Issue.2 , pp. 149-161
    • Volovoi, V.V.1
  • 28
    • 0033872918 scopus 로고    scopus 로고
    • A modeling framework to implement preemption policies in non-Markovian SPNs
    • Bobbio, A., Puliafito, A., Telek, M. 2000. "A modeling framework to implement preemption policies in non-Markovian SPNs. IEEE Transaction on Software Engineering. Vol. 26, no. 1: pp. 36-54.
    • (2000) IEEE Transaction on Software Engineering , vol.26 , Issue.1 , pp. 36-54
    • Bobbio, A.1    Puliafito, A.2    Telek, M.3
  • 30
    • 0025560285 scopus 로고
    • A generalized reliability block diagram (RBD) simulation
    • Figiel, K. D. & Sule, D. R. 1990. A generalized reliability block diagram (RBD) simulation. Simulation Conference: pp. 551-556.
    • (1990) Simulation Conference , pp. 551-556
    • Figiel, K.D.1    Sule, D.R.2
  • 31
    • 35248817928 scopus 로고    scopus 로고
    • A parallel approach for the solution of non Markovian Petri Nets
    • 10th European PVM/MPI Users' Group Conference EuroPVM/MPI03, Springer Verlag
    • Scarpa, M., Puliafito, A., Distefano, S. 2003. A parallel approach for the solution of non Markovian Petri Nets. 10th European PVM/MPI Users' Group Conference (EuroPVM/MPI03). Springer Verlag LNCS 2840: pp. 196-203.
    • (2003) LNCS , vol.2840 , pp. 196-203
    • Scarpa, M.1    Puliafito, A.2    Distefano, S.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.