MEFISTO-L: A VHDL-based fault injection tool for the experimental assessment of fault tolerance

Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998

Volumn 1998-January, Issue , 1998, Pages 168-173

  Boué, Jérome ^a   Pétillon, Philippe ^a   Crouzet, Yves ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FAULT TOLERANCE; SOFTWARE TESTING;

AUTOMATIC PLACEMENT; DESIGN PROCESS; EXPERIMENTAL ASSESSMENT; FAULT INJECTION; FAULT TOLERANCE MECHANISMS; INJECTION MECHANISMS; TESTING FRAMEWORK; VHDL BASED FAULT INJECTION TOOLS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 27544444307     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1998.689467     Document Type: Conference Paper

References (22)

1. K. Echtle, Y. Chen, "Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing", in Proc. FTCS-21, Montréal, Canada, 1991, pp. 418-425.
2. D. R. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Trans. on Reliability, Vol. 45, pp. 443-455, September 1996.
3. J. Boué, J. Arlat, Y. Crouzet, P. Pétillon, "Verification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models", in DeVa ESPRIT Project 20072 First Year Report, pp. 347-369, 1996.
4. J. Christmansson, P. Santhanam, "Error Injection Aimed at Fault Removal in Fault Tolerance Mechanisms - Criteria for Error Selection using Field Data on Software Faults", in Proc. ISSRE-7, White Plains, USA, 1996, pp. 175-184.
5. T. Tsai, S. J. Upadhayaya, H. Zhao, M.-C. Hsueh, R. K. Iyer, "Path-Based Fault Injection", in Proc. Proc. 3rd ISSAT Int. Conf. on Reliability and Quality in Design, Anaheim, USA, 1997, pp. 121-125.
6. J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Trans. on Computers, Vol. 42, pp. 913-923, 1993.
7. M.-C. Hsueh, T. K. Tsai, R. K. Iyer, "Fault Injection Techniques and Tools", Computer, Vol. 30, pp. 75-82, April 1997.
8. É. Jenn, J. Arlat, M. Rimén, J. Ohlsson, J. Karlsson, "Fault Injection into VHDL Models: The MEFISTO Tool", in Proc. FTCS-24, Austin, USA, 1994, pp. 66-75.
9. J. R. Armstrong, F.-S. Lam, P. C. Ward, "Test Generation and Fault Simulation for Behavioral Models", in Performance and Fault Modeling with VHDL, (J. M. Schoen, Ed.) pp. 240-303, Englewood Cliffs, USA: Prentice-Hall, Inc, 1992.
10. Z. Navabi, N. Cooray, R. Liyanage, "Modeling for Fault Insertation and Parallel Fault Simulation", in Proc. VIUF Spring Conf., Santa Clara, USA, 1993, pp. 75-89.
11. B. Cohen, VHDL Coding Styles and Methodologies, Kluwer Academic, 1995.
12. A. K. Ghosh, B. W. Johnson, J. A. Profeta, III, "System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications", in Proc. IPDS-95, Erlangen, Germany, 1995, pp. 194-203.
13. A. M. Amendola, A. Benso, F. Corno, L. Impaglazzo, P. Marmo, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, "Faulty Behavior Observation on a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment", in Proc. EuroDAC96, 1996.
14. T. A. DeLong, D. T. Smith, B. W. Johnson, J. P. Hanna, "Simulator Independant Fault Simulation Using WAVES", in Proc. VIUF Fall Conf., Durham, USA, 1996, pp. 129-138.
15. V. Sieh, O. Tschäche, F. Balbach, "VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions", in Proc. FTCS-27, Seattle, USA, 1997, pp. 32-36.
16. J. Boué, Fault Tolerance Testing by Means of Fault Injection in VHDL Simulation Models, Doctorate thesis, Institut National Polytechnique de Toulouse, 1997 (in French).
17. J. Boué, P. Pétillon, Y. Crouzet, J. Arlat, "Early Experimental Verification of Fault Tolerance: The VHDL-based Fault Injection Tool MEFISTO-L", in DeVa ESPRIT Project 20072 Second Year Report, 1997.
18. P. Thévenod-Fosse, H. Waeselynck, Y. Crouzet, "Software Statistical Testing", in Predictably Dependable Computing Systems, (B. Randell, J.-C. Laprie, H. Kopetz and B. Littlewood, Eds.), pp. 253-272, Springer, 1995.
19. D. Powell, "Failure Mode Assumptions and Assumption Coverage", in Proc. FTCS-22, Boston, USA, 1992, pp. 386-395.
20. T. A. DeLong, B. W. Johnson, J. A. Profeta, III, D. Bozzolo, "A Novel Fault Injection Technique for Behavioral-Level Modeling using VHDL", in Proc. VIUF Fall Conf., 1994.
21. D. Powell, G. Bonn, D. Seaton, P. Veríssimo, F. Waeselynck, "The Delta-4 Approach to Dependability in Open Distributed Computing Systems", in Proc. FTCS-18, Tokyo, Japan, 1988, pp. 246-251.
22. J. Gaisler, "Concurrent Error-detection and Modular Fault-tolerance in a 32-bit Processing Core for Embedded Space Flight Applications", in Proc. FTCS-24, Austin, USA, 1994, pp. 128-130.