Experimental validation of high-speed fault-tolerant systems using physical fault injection

Dependable Computing for Critical Applications 7

Volumn , Issue , 1999, Pages 249-265

  Martinez R J ^a   Gil, P J ^b   Martin G ^a   Perez C ^a   Serrano, J J ^b  

^a UNIVERSITY OF VALENCIA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

coverage; dependability validation; fail silent module; Physical fault injection

Indexed keywords

FAULT TOLERANCE;

COVERAGE; DEPENDABILITY VALIDATION; EXPERIMENTAL VALIDATIONS; FAIL-SILENT MODULE; FAULT TOLERANT SYSTEMS; MULTI PROCESSOR SYSTEMS; PHYSICAL FAULTS; VALIDATION PROCESS;

SOFTWARE TESTING;

EID: 79955569775     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCFTS.1999.814299     Document Type: Conference Paper

References (21)

1. J. Laprie. "Dependability: basics concepts and associated terminology". Ed. Springer Verlag, 1992. Dependable Computing and Fault Tolerant Systems Series, number 5.
2. M. Hsueh, T. Tsai, R Iyer. "Fault Injection. Techniques and Tools". Computer, Vol 30, n°. 4. IEEE, pp. 75-82. April 1997.
3. R. Iyer. "Experimental Evaluation". 25th. International Symposium on Fault Tolerant Computing (FTCS-25). Special Issue Silver Jubilee, pp. 115-132. California. June 1995.
4. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. Fabre, J. Laprie, E. Martins, D. Powel. "Fault Injection for Dependability Validation: A Methodology and Some Applications". IEEE Transactions on Software Engineering, vol. 16, no 2, pp. 166-182. February 1990.
5. th European Workshop on Dependable Computing). Experimental validation of dependable systems. Chalmers University of Technology, Göteborg, Sweden, April 1997.
6. U. Gunneflo, J. Karlsson, and J. Torin. "Evaluation of error detection schemes using fault injection by heavy-ion radiation". 19th. International Symposium on Fault Tolerant Computing (FTCS-19), pp. 340-347. Chicago, MI, USA. June 1989.
7. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber. "Integration an Comparison of Three Physical Fault Injection Techniques". Predictably Dependable Computer Systems. Chapter V: Fault Injection, pp. 309-329. Springer Verlag, 1995.
8. J. R. Sampson, W. Moreno, F. Falquez. "A technique for automatic validation of fault tolerant designs using laser fault injection". 28th. International Symposium on Fault Tolerant Computing (FTCS-28), pp. 162-167. Munich, Germany. IEEE. June 1998.
9. P. Folkesson, S. Svensson, J. Karlsson. "A Comparison of simulation-based and scan chain implemented fault injection". 28th International Symposium on Fault Tolerant Computing (FTCS-28), pp. 284-293. Munich, Germany. IEEE. June 1998.
10. H. Madeira, J. Carreira, J.G. Silva. "Injection of Faults in Complex Computers". IEEE Workshop on Evaluation Techniques for Dependable Systems. San Antonio. Texas. October 1995.
11. H. Madeira, J. Silva. "Experimental Evaluation of the Fail Silent Behavior in Computers Without Error Masking". 24th International Symposium on Fault Tolerant Computing (FTCS-24), pp. 350-359. Austin, Texas. IEEE. June 1994.
12. H. Madeira, M. Rela, F. Moreira, J.G. Silva. "RIFLE: A General Purpose Pin-level Fault Injector". First European Dependable Computing Conference (EDCC-1), pp. 199-216. Berlin, Germany. Springer Verlag. October 1994.
13. E. Fuchs. "Validating the Fail-Silence Assumption of the MARS Architecture". Six International Working Conference on Dependable Computing for Critical Applications (DCCA-6). Grainau, Germany. March 1997.
14. R. D. Schlichting and F. B. Schneider. "Fail-silent Processors: An Approach to Designing Fault-Tolerant Computing Systems". ACM Transactions on Computing Systems. Vol 1, no. 3, pp. 222-238. August 1983.
15. G. Fabregat, C. Pérez, J.A. Boluda, R.J. Martínez and R. Munt. "The FASST DPU Technical Description". FASST Project (ESPRIT P5212) Internal Report. July 1994.
16. FASST Project Consortium. "FASST: Fault Tolerant Architecture with Stable Storage Technology". FASST Project (ESPRIT P5212) Technical Annex. 1990.
17. "High-Performance I/O Bus Architecture: a Handbook for IEEE Futurebus+ Profile B". IEEE Standards Press. 1994.
18. FASST Project Consortium. "The FASST Architecture: Overall Requirements and Specifications". January 1992.
19. R.J. Martínez, C. Pérez, G. Fabregat, J.A. Boluda, F. Pardo. "DPU: a FB+ based fault Tolerant System". Open Bus Systems '95, pp. 229-236. Zurich. Switzerland. June 1995.
20. R.J. Martínez. "Evaluación Experimental por Inyección Física de Fallos de la Garantía de Funcionamiento de un Sistema Multiprocesador Tolerante a Fallos". Tesis Doctoral. Departamento de Informática y Electrónica. Universitat de València. September 1997.
21. J. Arlat, A. Costes, Y. Crouzet, J. Laprie, D. Powel. "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems". IEEE Transactions on Computers, Vol 42, no. 8, pp. 913-923. August 1993.