-
1
-
-
0024897024
-
Faul Injection for Dependability Validation of Fault-Tolerant Computing Systems
-
J. Arlat, Y. Crouzet, and J.C. Laprie, "Faul Injection for Dependability Validation of Fault-Tolerant Computing Systems," Proc. 19th Fault-Tolerant Computer Systems Symp., pp. 348-355, 1989.
-
(1989)
Proc. 19th Fault-Tolerant Computer Systems Symp.
, pp. 348-355
-
-
Arlat, J.1
Crouzet, Y.2
Laprie, J.C.3
-
2
-
-
0025384345
-
Fault Injection for Dependability Validation: A Methodology and Some Applications, IEEE Trans
-
Feb.
-
J. Arlat et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, Feb. 1990.
-
(1990)
Software Eng.
, vol.16
, Issue.2
, pp. 166-182
-
-
Arlat, J.1
-
3
-
-
0025419131
-
Fault Injection Experiments Using FIAT
-
Apr.
-
J. Barton, E. Czeck, Z. Segall, and D. Siewiorek, "Fault Injection Experiments Using FIAT," IEEE Trans. Computers, vol. 39, no. 4, pp. 575-582, Apr. 1990.
-
(1990)
IEEE Trans. Computers
, vol.39
, Issue.4
, pp. 575-582
-
-
Barton, J.1
Czeck, E.2
Segall, Z.3
Siewiorek, D.4
-
4
-
-
0032002385
-
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
-
Feb.
-
J. Carreira, H. Madeira, and J.G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers," IEEE Trans. Software Eng., vol. 24, no. 2, pp. 125-136, Feb. 1998.
-
(1998)
IEEE Trans. Software Eng.
, vol.24
, Issue.2
, pp. 125-136
-
-
Carreira, J.1
Madeira, H.2
Silva, J.G.3
-
6
-
-
33749982387
-
Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms
-
Dec.
-
C. Constantinescu, "Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms," Proc. Pacific Rim Int'l Symp. Dependable Computing, pp. 186-192, Dec. 1999.
-
(1999)
Proc. Pacific Rim Int'l Symp. Dependable Computing
, pp. 186-192
-
-
Constantinescu, C.1
-
7
-
-
84881254787
-
Assessing Error Detection Coverage by Simulated Fault Injection
-
Sept.
-
C. Constantinescu, "Assessing Error Detection Coverage by Simulated Fault Injection," Proc. Third European Dependable Computing Conf., pp. 161-170, Sept. 1999.
-
(1999)
Proc. Third European Dependable Computing Conf.
, pp. 161-170
-
-
Constantinescu, C.1
-
8
-
-
9144266883
-
Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer
-
C. Constantinescu, "Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer," Proc. 28th Fault-Tolerant Computer Systems Symp., pp. 382-389, 1998.
-
(1998)
Proc. 28th Fault-Tolerant Computer Systems Symp.
, pp. 382-389
-
-
Constantinescu, C.1
-
9
-
-
0029510657
-
Using Multi-Stage & Stratified Sampling for Inferring Fault Coverage Probabilities
-
C. Constantinescu, "Using Multi-Stage & Stratified Sampling for Inferring Fault Coverage Probabilities," IEEE Trans. Reliability, vol. 44, no. 4, pp. 632-639, 1995.
-
(1995)
IEEE Trans. Reliability
, vol.44
, Issue.4
, pp. 632-639
-
-
Constantinescu, C.1
-
10
-
-
0028597333
-
Estimation of Coverage Probabilities for Dependability Validation of Fault-Tolerant Computing Systems
-
C. Constantinescu, "Estimation of Coverage Probabilities for Dependability Validation of Fault-Tolerant Computing Systems," Proc. Ninth Ann. Conf. Computer Assurance, pp. 101-106, 1994.
-
(1994)
Proc. Ninth Ann. Conf. Computer Assurance
, pp. 101-106
-
-
Constantinescu, C.1
-
12
-
-
0141672902
-
A Comparison of Simulated Based and Scan Chain Implemented Fault Injection
-
P. Folkesson, S. Svensson, and J. Karlsson, "A Comparison of Simulated Based and Scan Chain Implemented Fault Injection," Proc. 28th Fault-Tolerant Computer Systems Symp., pp. 284-293, 1998.
-
(1998)
Proc. 28th Fault-Tolerant Computer Systems Symp.
, pp. 284-293
-
-
Folkesson, P.1
Svensson, S.2
Karlsson, J.3
-
13
-
-
0029212722
-
System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications
-
A. Ghosh and B. Johnson, "System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications," Proc. IEEE Int'l Computer Performance and Dependability Symp., pp. 194-203, 1995.
-
(1995)
Proc. IEEE Int'l Computer Performance and Dependability Symp.
, pp. 194-203
-
-
Ghosh, A.1
Johnson, B.2
-
14
-
-
0031388396
-
DEPEND: A Simulation Based Environment for System Level Dependability Analysis
-
Jan.
-
K. Goswami, R.K. Iyer, and L. Young, "DEPEND: A Simulation Based Environment for System Level Dependability Analysis," IEEE Trans. Computers, vol. 46, no. 1, pp. 60-74, Jan. 1997.
-
(1997)
IEEE Trans. Computers
, vol.46
, Issue.1
, pp. 60-74
-
-
Goswami, K.1
Iyer, R.K.2
Young, L.3
-
15
-
-
0029213790
-
DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems
-
S. Han, K. Shin, and H. Rosenberg, "DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems," Proc. IEEE Int'l Computer Performance and Dependability Symp., pp. 204-213, 1995.
-
(1995)
Proc. IEEE Int'l Computer Performance and Dependability Symp.
, pp. 204-213
-
-
Han, S.1
Shin, K.2
Rosenberg, H.3
-
16
-
-
0031123369
-
Fault Injection Techniques and Tools
-
Apr.
-
M.C. Hsueh, T.K. Tsai, and R.K. Iyer, "Fault Injection Techniques and Tools," Computer, pp. 75-82, Apr. 1997.
-
(1997)
Computer
, pp. 75-82
-
-
Hsueh, M.C.1
Tsai, T.K.2
Iyer, R.K.3
-
19
-
-
85064759317
-
FERRARI: A Tool for the Validation of System Dependability Properties
-
G. Kanawati, N. Kanawati, and J. Abraham, "FERRARI: A Tool for the Validation of System Dependability Properties," Proc. 22nd Fault-Tolerant Computer Systems Symp., pp. 336-344, 1992.
-
(1992)
Proc. 22nd Fault-Tolerant Computer Systems Symp.
, pp. 336-344
-
-
Kanawati, G.1
Kanawati, N.2
Abraham, J.3
-
20
-
-
0002598384
-
Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture
-
J. Karlsson et al., "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture," Proc. Fifth Dependable Computing for Critical Applications Conf., pp. 150-161, 1995.
-
(1995)
Proc. Fifth Dependable Computing for Critical Applications Conf.
, pp. 150-161
-
-
Karlsson, J.1
-
21
-
-
84936893976
-
Using Heavy-Ion Radiation to Validate Fault Handling Mechanisms
-
J. Karlsson et al., "Using Heavy-Ion Radiation to Validate Fault Handling Mechanisms," IEEE Micro, vol. 14, no. 1, pp. 8-32, 1994.
-
(1994)
IEEE Micro
, vol.14
, Issue.1
, pp. 8-32
-
-
Karlsson, J.1
-
23
-
-
0000689763
-
Dependability - Its Attributes, Impairments and Means
-
B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, eds., Springer-Verlag
-
J.C. Laprie, "Dependability - Its Attributes, Impairments and Means," Predictably Dependable Computing Systems, B. Randell, J.C. Laprie, H. Kopetz, and B. Littlewood, eds., pp. 1-28, Springer-Verlag, 1995.
-
(1995)
Predictably Dependable Computing Systems
, pp. 1-28
-
-
Laprie, J.C.1
-
24
-
-
0025502686
-
Error Log Analysis: Statistical Modeling and Heuristic Trend Analysis
-
T.Y. Lin and D.P. Siewiorek, "Error Log Analysis: Statistical Modeling and Heuristic Trend Analysis," IEEE Trans. Reliability, vol. 39, no. 4, pp. 419-432, 1990.
-
(1990)
IEEE Trans. Reliability
, vol.39
, Issue.4
, pp. 419-432
-
-
Lin, T.Y.1
Siewiorek, D.P.2
-
25
-
-
84859516565
-
A General Purpose Pin-Level Fault Injector
-
H. Madeira, M. Rela, F. Moreira, and J.G. Silva, "A General Purpose Pin-Level Fault Injector," Proc. First European Dependable Computing Conf., pp. 199-216, 1994.
-
(1994)
Proc. First European Dependable Computing Conf.
, pp. 199-216
-
-
Madeira, H.1
Rela, M.2
Moreira, F.3
Silva, J.G.4
-
26
-
-
0029724679
-
A TeraFLOP Supercomputer in 1996: The ASCI TFLOP System
-
G. Mattson, D. Scott, and S. Wheat, "A TeraFLOP Supercomputer in 1996: The ASCI TFLOP System," Proc. 10th Int'l Parallel Processing Symp., pp. 84-93, 1996.
-
(1996)
Proc. 10th Int'l Parallel Processing Symp.
, pp. 84-93
-
-
Mattson, G.1
Scott, D.2
Wheat, S.3
-
27
-
-
84958971257
-
On Stratified Sampling for High Coverage Estimators
-
D. Powel, M. Cukier, and J. Arlat, "On Stratified Sampling for High Coverage Estimators," Proc. Second European Dependable Computing Conf., pp. 37-54, 1996.
-
(1996)
Proc. Second European Dependable Computing Conf.
, pp. 37-54
-
-
Powel, D.1
Cukier, M.2
Arlat, J.3
-
28
-
-
0029252185
-
Estimators for Fault Tolerance Coverage Evaluation
-
Feb.
-
D. Powel, E. Martins, J. Arlat, and Y. Crouzet, "Estimators for Fault Tolerance Coverage Evaluation," IEEE Trans. Computers, vol. 44, no. 2, pp. 261-274, Feb. 1995.
-
(1995)
IEEE Trans. Computers
, vol.44
, Issue.2
, pp. 261-274
-
-
Powel, D.1
Martins, E.2
Arlat, J.3
Crouzet, Y.4
-
29
-
-
45749126925
-
A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)
-
J.R. Samson Jr., W. Moreno, and F. Falquez, "A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)," Proc. 28th Fault-Tolerant Computer Systems Symp., pp. 162-167, 1998.
-
(1998)
Proc. 28th Fault-Tolerant Computer Systems Symp.
, pp. 162-167
-
-
Samson Jr., J.R.1
Moreno, W.2
Falquez, F.3
-
30
-
-
0031672516
-
Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injected and Simulated Fault Injection
-
Jan.
-
D.T. Scott, G. Ries, M. Hsueh, and R.K. Iyer, "Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injected and Simulated Fault Injection," IEEE Trans. Computers, vol. 47, no. 1, pp. 108-119, Jan. 1998.
-
(1998)
IEEE Trans. Computers
, vol.47
, Issue.1
, pp. 108-119
-
-
Scott, D.T.1
Ries, G.2
Hsueh, M.3
Iyer, R.K.4
-
35
-
-
0025505471
-
Evaluation and Design of an Ultra Reliable Distributed Architecture for Fault Tolerance
-
C.J. Walter, "Evaluation and Design of an Ultra Reliable Distributed Architecture for Fault Tolerance," IEEE Trans. Reliability, vol. 39, no. 4, pp. 492-499, 1990.
-
(1990)
IEEE Trans. Reliability
, vol.39
, Issue.4
, pp. 492-499
-
-
Walter, C.J.1
-
36
-
-
0027931926
-
Puma: An Operating System for Massively Parallel Systems
-
S.R. Wheat, R. Riesen, A.B. Maccabe, D.W. van Dresser, and T.M. Stallcup, "Puma: An Operating System for Massively Parallel Systems," Proc. 27th Hawaii Int'l Conf. Systems Sciences, vol. 2, pp. 56-65, 1994.
-
(1994)
Proc. 27th Hawaii Int'l Conf. Systems Sciences
, vol.2
, pp. 56-65
-
-
Wheat, S.R.1
Riesen, R.2
Maccabe, A.B.3
Van Dresser, D.W.4
Stallcup, T.M.5
|