-
1
-
-
84855431682
-
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
-
3
-
-
36049039572
-
Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains
-
Boudali H, Crouzen P, Stoelinga M. Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: 37th Annual IEEE/IFIP international conference on dependable systems and networks, DSN 2007, Edinburgh, UK, 2007.
-
37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, Edinburgh, UK, 2007
-
-
Boudali, H.1
Crouzen, P.2
Stoelinga, M.3
-
6
-
-
0004269078
-
-
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
-
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
-
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
-
13
-
-
24944461752
-
State-event-fault-trees - A safety analysis model for software controlled systems
-
Kaiser B, Gramlich C. State-event-fault-trees - a safety analysis model for software controlled systems. In: Proceedings of the 23rd international conference on computer safety, reliability, and security, SAFECOMP, 2004. p. 195-204.
-
Proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP, 2004
, pp. 195-204
-
-
Kaiser, B.1
Gramlich, C.2
-
14
-
-
84863445163
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
23
-
-
1842608908
-
-
project standard pr EN50126, Parts 1 to 5, CENELEC European standard - European Committee for Electrotechnical Standardization, Brussels, Belgium
-
Railway Applications: the specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS), project standard pr EN50126, Parts 1 to 5, CENELEC European standard - European Committee for Electrotechnical Standardization, Brussels, Belgium, 2012.
-
(2012)
Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)
-
-
-
24
-
-
84906685215
-
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
-
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
-
26
-
-
58749106055
-
Dynamic Fault Tree Analysis using Monte Carlo simulation in probabilistic
-
Rao KD, Gopika V, Sanyasi Rao VVS, Kushwaha HS, Verma AK, Srividya A. Dynamic Fault Tree Analysis using Monte Carlo simulation in probabilistic. Reliab Eng Syst Saf 2009;94:872-83.
-
(2009)
Reliab Eng Syst Saf
, vol.94
, pp. 872-883
-
-
Rao, K.D.1
Gopika, V.2
Sanyasi Rao, V.V.S.3
Kushwaha, H.S.4
Verma, A.K.5
Srividya, A.6
|