-
1
-
-
34548261228
-
Methodologies for the probabilistic risk assessment of digital reactor protection and control systems
-
T. Aldemir, D.W. Miller, M. Stovsky, J. Kirschenbaum, P. Bucci, and L.A. Mangan Methodologies for the probabilistic risk assessment of digital reactor protection and control systems Nuclear Technology 159 2007 167 191
-
(2007)
Nuclear Technology
, vol.159
, pp. 167-191
-
-
Aldemir, T.1
Miller, D.W.2
Stovsky, M.3
Kirschenbaum, J.4
Bucci, P.5
Mangan, L.A.6
-
3
-
-
0001418674
-
Demonstration of the dynamic flowgraph methodology using the titan II space launch vehicle digital flight control system
-
M. Yau, S. Guarro, and G. Apostolakis Demonstration of the dynamic flowgraph methodology using the titan II space launch vehicle digital flight control system Reliability Engineering and System Safety 49 1995 335 353
-
(1995)
Reliability Engineering and System Safety
, vol.49
, pp. 335-353
-
-
Yau, M.1
Guarro, S.2
Apostolakis, G.3
-
9
-
-
0024647010
-
Modeling and analysis of systems with multimode components and dependent failures
-
K.V. Le, and VOK. Li Modeling and analysis of systems with multimode components and dependent failures IEEE Transactions on Reliability 38 1989 68 75
-
(1989)
IEEE Transactions on Reliability
, vol.38
, pp. 68-75
-
-
Le, K.V.1
Li, V.O.K.2
-
11
-
-
49749103971
-
Distributed control systems reliability: Consideration of multi-agent behaviour
-
J. Galdun, L. Takac, J. Lingus, J.M. Thiriet, and J. Sarnovsky Distributed control systems reliability: consideration of multi-agent behaviour Proceedings of the 6th International Symposium on Applied Machine Intelligence and Informatics 2008 157 162
-
(2008)
Proceedings of the 6th International Symposium on Applied Machine Intelligence and Informatics
, pp. 157-162
-
-
Galdun, J.1
Takac, L.2
Lingus, J.3
Thiriet, J.M.4
Sarnovsky, J.5
-
14
-
-
37449001933
-
Compensation for control packet dropout in networked control systems
-
Y-C. Tian, and D. Levy Compensation for control packet dropout in networked control systems Information Sciences 178 2008 1263 1278
-
(2008)
Information Sciences
, vol.178
, pp. 1263-1278
-
-
Tian, Y.-C.1
Levy, D.2
-
17
-
-
80051998563
-
Programmable electronic system design and verification utilizing DFM
-
M. Houtermans, G. Apostolakis, A. Brombacher, and D. Karydas Programmable electronic system design and verification utilizing DFM Proceedings of the 19th International Conference on Computer Safety, Reliability and Security 2000 275 285
-
(2000)
Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
, pp. 275-285
-
-
Houtermans, M.1
Apostolakis, G.2
Brombacher, A.3
Karydas, D.4
-
18
-
-
0030413760
-
Dynamic modeling and verification of safe-set architectures
-
J. Cosgrove, S. Guarro, G. Romanski, and M. Yau Dynamic modeling and verification of safe-set architectures WESCON/96 1996 528 533
-
(1996)
WESCON/96
, pp. 528-533
-
-
Cosgrove, J.1
Guarro, S.2
Romanski, G.3
Yau, M.4
-
19
-
-
0029306360
-
The dynamic flowgraph methodology for assessing the dependability of embedded software systems
-
C.J. Garrett, S.B. Guarro, and G.E. Apostolakis The dynamic flowgraph methodology for assessing the dependability of embedded software systems IEEE Transactions on Systems, Man, and Cybernetics 25 1995 824 840
-
(1995)
IEEE Transactions on Systems, Man, and Cybernetics
, vol.25
, pp. 824-840
-
-
Garrett, C.J.1
Guarro, S.B.2
Apostolakis, G.E.3
-
23
-
-
77956176020
-
Dynamic flowgraph methodology as a tool for process control software PRA
-
S. Guarro, and M. Yau Dynamic flowgraph methodology as a tool for process control software PRA Annual Meeting of the American Nuclear Society 70 1994 222 223
-
(1994)
Annual Meeting of the American Nuclear Society
, vol.70
, pp. 222-223
-
-
Guarro, S.1
Yau, M.2
-
24
-
-
44349174130
-
Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments
-
Aldemir T, Stovsky MP, Kirschenbaum J, Mandelli D, Bucci P, Mangan LA, et al. Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments. NUREG/CR-6942, US Nuclear Regularity Commission, 2007.
-
(2007)
NUREG/CR-6942, US Nuclear Regularity Commission
-
-
Aldemir, T.1
Stovsky, M.P.2
Kirschenbaum, J.3
Mandelli, D.4
Bucci, P.5
Mangan, L.A.6
-
25
-
-
77952017743
-
A benchmark implementation of two dynamic methodologies for the reliability modeling of digital instrumentation and control systems
-
Aldemir T, Guarro S, Kirschenbaum J, Mandelli D, Mangan LA, Bucci P, et al. A benchmark implementation of two dynamic methodologies for the reliability modeling of digital instrumentation and control systems. NUREG/CR-6985, US Nuclear Regularity Commission, 2009.
-
(2009)
NUREG/CR-6985, US Nuclear Regularity Commission
-
-
Aldemir, T.1
Guarro, S.2
Kirschenbaum, J.3
Mandelli, D.4
Mangan, L.A.5
Bucci, P.6
-
27
-
-
0034836987
-
Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet
-
F. Lian, J.R. Moyne, and D.M. Tilbury Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet IEEE Control Systems Magazine 21 2001 66 83
-
(2001)
IEEE Control Systems Magazine
, vol.21
, pp. 66-83
-
-
Lian, F.1
Moyne, J.R.2
Tilbury, D.M.3
|