메뉴 건너뛰기




Volumn 133, Issue , 2015, Pages 300-313

Method for evaluating an extended Fault Tree to analyse the dependability of complex systems: Application to a satellite-based railway system

Author keywords

Dependability analysis; Dynamic time dependent Fault Tree; GNSS based localisation unit; Monte Carlo simulation; Petri net modelling; Repairable multi state components

Indexed keywords

INTELLIGENT SYSTEMS; MONTE CARLO METHODS; PETRI NETS; RAILROAD TRANSPORTATION; RAILROADS;

EID: 84908439630     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2014.09.019     Document Type: Article
Times cited : (50)

References (27)
  • 1
    • 84855431682 scopus 로고    scopus 로고
    • Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization
    • Beugin J, Marais J. Simulation-based evaluation of dependability and safety properties of satellite technologies for railway localization. Transp Res Part C 2012;22:42-57.
    • (2012) Transp Res Part C , vol.22 , pp. 42-57
    • Beugin, J.1    Marais, J.2
  • 6
    • 0004269078 scopus 로고
    • U.S. Nuclear Regulatory Commission. Washington, DC, NUREG-0492
    • Fault Tree Handbook. U.S. Nuclear Regulatory Commission. Washington, DC, 1981, NUREG-0492.
    • (1981) Fault Tree Handbook
  • 11
    • 0022137745 scopus 로고
    • On multistate system analysis
    • Janan X. On multistate system analysis. IEEE Trans Reliab 1985;R-34(4):329-37.
    • (1985) IEEE Trans Reliab , vol.R-34 , Issue.4 , pp. 329-337
    • Janan, X.1
  • 12
    • 0025238277 scopus 로고
    • Multistate fault-tree analysis
    • Kai Y. Multistate fault-tree analysis. J Reliab Eng Syst Saf 1990;28(1):1-7.
    • (1990) J Reliab Eng Syst Saf , vol.28 , Issue.1 , pp. 1-7
    • Kai, Y.1
  • 14
    • 84863445163 scopus 로고    scopus 로고
    • Approximate dynamic fault tree calculations for modelling water supply risks
    • Lindhe A, Norberg T, Rosén L. Approximate dynamic fault tree calculations for modelling water supply risks. Reliab Eng Syst Saf 2012;106:61-71.
    • (2012) Reliab Eng Syst Saf , vol.106 , pp. 61-71
    • Lindhe, A.1    Norberg, T.2    Rosén, L.3
  • 15
    • 80054061049 scopus 로고    scopus 로고
    • Timing analysis of safety properties using fault trees with time dependencies and timed state-charts
    • Magott J, Skrobanek P. Timing analysis of safety properties using fault trees with time dependencies and timed state-charts. Reliab Eng Syst Saf 2012;97:14-26.
    • (2012) Reliab Eng Syst Saf , vol.97 , pp. 14-26
    • Magott, J.1    Skrobanek, P.2
  • 16
    • 0029378948 scopus 로고
    • Dependability modeling using petri-nets
    • Malhotra M, Trivedi KS. Dependability modeling using petri-nets. IEEE Trans Reliab 1995;44(3):428-39.
    • (1995) IEEE Trans Reliab , vol.44 , Issue.3 , pp. 428-439
    • Malhotra, M.1    Trivedi, K.S.2
  • 18
    • 78751584727 scopus 로고    scopus 로고
    • Algebraic determination of the structure function of Dynamic Fault Trees
    • Merle G, Roussel JM, Lesage JJ. Algebraic determination of the structure function of Dynamic Fault Trees. Reliab Eng Syst Saf 2011;96:267-77.
    • (2011) Reliab Eng Syst Saf , vol.96 , pp. 267-277
    • Merle, G.1    Roussel, J.M.2    Lesage, J.J.3
  • 19
    • 0036599709 scopus 로고    scopus 로고
    • Dependability analysis of systems with on-demand and active failure modes using dynamic fault trees
    • Meshkat L, Dugan JB, Andrews JD. Dependability analysis of systems with on-demand and active failure modes using dynamic fault trees. Proc IEEE 2002;77 (4);240-51.
    • Proc IEEE 2002 , vol.77 , Issue.4 , pp. 240-251
    • Meshkat, L.1    Dugan, J.B.2    Andrews, J.D.3
  • 20
    • 84988267657 scopus 로고    scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata T. Petri nets: properties, analysis and applications. IEEE Trans Reliab 2002;51(2):541-80.
    • (2002) IEEE Trans Reliab , vol.51 , Issue.2 , pp. 541-580
    • Murata, T.1
  • 22
    • 0037087083 scopus 로고    scopus 로고
    • Temporal fault trees
    • Palshikar GK. Temporal fault trees. Inf Softw Technol 2002;44(3):137-50.
    • (2002) Inf Softw Technol , vol.44 , Issue.3 , pp. 137-150
    • Palshikar, G.K.1
  • 24
    • 84906685215 scopus 로고    scopus 로고
    • Modeling of ERTMS Level 2 as an SoS and evaluation of its dependability parameters using statecharts
    • Qiu S, Sallak M, Schon W, Cherfi-Boulanger Z. Modeling of ERTMS Level 2 as an SoS and evaluation of its dependability parameters using statecharts. IEEE Syst J 2014;99:1-13.
    • (2014) IEEE Syst J , vol.99 , pp. 1-13
    • Qiu, S.1    Sallak, M.2    Schon, W.3    Cherfi-Boulanger, Z.4
  • 25
    • 84870209848 scopus 로고    scopus 로고
    • Application of fault tree analysis for customer reliability assessment of a distribution power system
    • Rahman FA, Varuttamaseni A, Kintner-Meyer M, Lee JC. Application of fault tree analysis for customer reliability assessment of a distribution power system. Reliab Eng Syst Saf 2013;111:76-85.
    • (2013) Reliab Eng Syst Saf , vol.111 , pp. 76-85
    • Rahman, F.A.1    Varuttamaseni, A.2    Kintner-Meyer, M.3    Lee, J.C.4


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