-
1
-
-
0025384345
-
Fault Injection for Dependability Validation: A Methodology and Some Applications
-
Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J., Laprie, J., Martins, E., Powel, D.: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Transactions on Software Engineering, Vol. 16, No. 2, 1990, pp. 166-182
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.2
, pp. 166-182
-
-
Arlat, J.1
Aguera, M.2
Amat, L.3
Crouzet, Y.4
Fabre, J.5
Laprie, J.6
Martins, E.7
Powel, D.8
-
2
-
-
0031123369
-
Fault Injection Techniques and Tools
-
April
-
M. Sueh, T. Tsai, R. Iyer, "Fault Injection Techniques and Tools", IEEE. Computer, pp. 75-82, April 1997.
-
(1997)
IEEE. Computer
, pp. 75-82
-
-
Sueh, M.1
Tsai, T.2
Iyer, R.3
-
3
-
-
0002613062
-
Validating the Fail-Silent Assumption of the MARS Architecture
-
H. K. A. Avizienis, J.-C. Laprie, Ed.
-
E. Fuchs, "Validating the Fail-Silent Assumption of the MARS Architecture", in proc. 6th Dependable Computing for Critical Applications (DCCA-6), (H. K. A. Avizienis, J.-C. Laprie, Ed.), pp.225-47, 1998.
-
(1998)
Proc. 6th Dependable Computing for Critical Applications (DCCA-6)
, pp. 225-247
-
-
Fuchs, E.1
-
4
-
-
0034590441
-
On the emulation of software faults by software fault injection
-
New York, NY, USA, June IEEE
-
H. Madeira, D. Costa, and M. Vieira. On the emulation of software faults by software fault injection. In Proceedings of the International Conference on Dependable Systems and Networks, pages 417-426, New York, NY, USA, June 2000. IEEE.
-
(2000)
Proceedings of the International Conference on Dependable Systems and Networks
, pp. 417-426
-
-
Madeira, H.1
Costa, D.2
Vieira, M.3
-
5
-
-
0029715010
-
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems
-
Sendai, Japan
-
T.K. Tsai, R.K. Iyer, D. Jewitt, "An Approach towards Benchmarking of Fault-Tolerant Commercial Systems", in Proc. of FTCS-26, pp.314-323, Sendai, Japan, 1996.
-
(1996)
Proc. of FTCS-26
, pp. 314-323
-
-
Tsai, T.K.1
Iyer, R.K.2
Jewitt, D.3
-
6
-
-
80055080907
-
Can Software Implemented Fault-Injection be Used on Real-time systems?
-
Prague, Czech Republic
-
Cunha, J.C., Rela, M.Z., Silva, J.G.: Can Software Implemented Fault-Injection be Used on Real-time systems?. in Proc. 3rd European Dependable Computing Conference (EDCC-3), Prague, Czech Republic, pp. 209-226, 1999.
-
(1999)
Proc. 3rd European Dependable Computing Conference (EDCC-3)
, pp. 209-226
-
-
Cunha, J.C.1
Rela, M.Z.2
Silva, J.G.3
-
8
-
-
35248845320
-
-
LAAS-CNRS, Toulouse France
-
Gil, P., Arlat, J., Madeira, H., Crouzet, Y., Jarboui, T., Kanoun, K., Marteau, T., Durães, J., Vieira, M., Gil, D., Baraza, J.C., Gracia, J.: Fault Representativeness. Deliverable (ETIE2) of the European Project Dependability Benchmarking Dbench (IST-2000-25425) funded by the European Community under the "Information Society Technologies" Programme (1998-2002). LAAS-CNRS, Toulouse France 2002.
-
(2002)
Fault Representativeness. Deliverable (ETIE2) of the European Project Dependability Benchmarking Dbench (IST-2000-25425) Funded by the European Community under the "Information Society Technologies" Programme (1998-2002)
-
-
Gil, P.1
Arlat, J.2
Madeira, H.3
Crouzet, Y.4
Jarboui, T.5
Kanoun, K.6
Marteau, T.7
Durães, J.8
Vieira, M.9
Gil, D.10
Baraza, J.C.11
Gracia, J.12
-
9
-
-
1542359956
-
INERTE: Integrated Nexus-based Real Time fault injection tool for Embedded systems
-
San Francisco, USA. June
-
Yuste, P., Andrés, D., Lemus, L., Serrano, J.J., Gil, P.: INERTE: Integrated Nexus-based Real Time fault injection tool for Embedded systems. In Proc. DSN'03. San Francisco, USA. June 2003.
-
(2003)
Proc. DSN'03
-
-
Yuste, P.1
Andrés, D.2
Lemus, L.3
Serrano, J.J.4
Gil, P.5
-
10
-
-
84961387697
-
FlexFi: A flexible Fault Injection environment for microprocessor-based systems
-
SAFECOMP 1999: 18th International Conference on Computer Safety, Reliability and Security, Springer Verlag, A. Pasquini (Ed.)
-
Benso, A., Rebaudengo, M., Sonza Reorda, M.: FlexFi: a flexible Fault Injection environment for microprocessor-based systems. SAFECOMP 1999: 18th International Conference on Computer Safety, Reliability and Security, (Lecture Notes in Computer Science, Springer Verlag, A. Pasquini (Ed.)), pp. 323-335
-
Lecture Notes in Computer Science
, pp. 323-335
-
-
Benso, A.1
Rebaudengo, M.2
Sonza Reorda, M.3
-
12
-
-
0032002385
-
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
-
Carreira, J., Madeira, H., Silva, J. G.: Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Transactions on Software Engineering, vol. 24, 1998. pp. 125-136.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, pp. 125-136
-
-
Carreira, J.1
Madeira, H.2
Silva, J.G.3
-
13
-
-
84881242165
-
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
-
Rodriguez, M., Salles, F., Fabre, J.C., Arlat, J.: MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. In: Proceedings of the 3rd European Dependable Computing Conference (EDCC-3), 1999, pp. 143-160
-
(1999)
Proceedings of the 3rd European Dependable Computing Conference (EDCC-3)
, pp. 143-160
-
-
Rodriguez, M.1
Salles, F.2
Fabre, J.C.3
Arlat, J.4
|