Advertisement

Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System

  • D. Gil
  • R. Martínez
  • J. V. Busquets
  • J. C. Baraza
  • P. J. Gil
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1667)

Abstract

This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdog timer. The faults have been injected on a chip-level VHDL model, using an injection tool designed with this purpose. We have carried out a set of injection experiments (with 3000 injections each), injecting transient and permanent faults of types stuck-at, open-line and indetermination on both the signals and variables of the system, running a workload. We have analysed the pathology of the propagated errors, measured their latency, and calculated both detection and recovery coverage. We have also studied the influence with the fault duration and fault distribution. For instance, system detection coverage (including non-effective faults) is 98% and the system recovery coverage is 95% for short transient faults (0.1 clock cycles).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Clark., D. Pradhan, “Fault Injection. A method for validating computer-system dependability”, IEEE. Computer, June 1995.Google Scholar
  2. 2.
    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.CrossRefGoogle Scholar
  3. 3.
    K. Goswami, K. Iyer, “DEPEND: A simulation-based environment for system level dependability analysis”, Tech. Rep. CRHC-92-11, Center for Reliable and High Performance Computing, University of Illinois (USA) 1991.Google Scholar
  4. 4.
    G. Choi, K. Iyer, “FOCUS: An experimental environment for fault sensitivity analysis”, IEEE Transactions on Computers, Vol. 41, pp. 1515–1526, Dec. 1992.CrossRefGoogle Scholar
  5. 5.
    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. June 1998.Google Scholar
  6. 6.
    J. Clark, D. Pradhan, “REACT: Reliable Architecture Characterization Tool”, Tech. Rep. TR-92-CSE-22, Univ. of Massachusetts, June 1992.Google Scholar
  7. 7.
    Jenn E., Arlat J., Rimen M., Ohlsson J., Karlsson J. “Fault Injection into VHDL Models: The MEFISTO Tool”, FTCS-24, IEEE, 1994, pp. 66–75.Google Scholar
  8. 8.
    T. Delong, B. Johnson, Profeta III, “A fault Injection Technique for VHDL Behavioral-Level models”, IEEE Design and Test of Computers, Vol 13, no 4, Winter 1996.Google Scholar
  9. 9.
    J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J. C. Fabré, J. C. Laprie, E. Martins, D. Powell, “Fault injection for dependability validation: a methodology and some applications”, IEEE Transactions on Software Engineering, Vol.16, pp.166–182, Febrero 1990.CrossRefGoogle Scholar
  10. 10.
    U. Gunneflo, “Physical fault injection for Validation of Dependable Computing Systems and a Fault-Tolerant Computer design for Safety-critical missions”, PhD thesis, Chalmers Univ. Of Technology, Göteborg (Sweden), 1990.Google Scholar
  11. 11.
    P. Gil, “Sistema Tolerante a Fallos con Procesador de Guardia: Validación mediante Inyección Física de Fallos”, D. Ph. Thesis, Departamento de Ingeniería de Sistemas, Computadores y Automática, Univ. Politécnica de Valencia, September 1992.Google Scholar
  12. 12.
    J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber. “Integration and Comparison of Three Physical Fault Injection Techniques”. Predictably Dependable Computer Systems. Chapter V: Fault Injection, pp. 309–329. Springer Verlag, 1995.Google Scholar
  13. 13.
    R. J. Martínez, P. J. Gil, G. Martín, C. Pérez, J.J. Serrano. “Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection”, in Seventh Dependable Computing for Critical Applications, DCCA’7. IEEE Computer Society Press. Pending of publication. pp.233–249, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • D. Gil
    • 1
  • R. Martínez
    • 2
  • J. V. Busquets
    • 1
  • J. C. Baraza
    • 1
  • P. J. Gil
    • 1
  1. 1.Grupo de Sistemas Tolerantes a Fallos (GSTF) Departamento de Informática de Sistemas, y Computadores (DISCA)Universidad Politécnica de ValenciaSpain
  2. 2.Instituto de Robótica Universitat de ValènciaPaterna, ValenciaSpain

Personalised recommendations