This Article 
 Bibliographic References 
 Add to: 
Validation-Based Development of Dependable Systems
July/August 1999 (vol. 19 no. 4)
pp. 66-79
Early validation of fault tolerance is essential in developing dependable computer systems. The authors have defined a strategy for testing fault tolerance mechanisms, integrated it into the design process, and developed fault-injection techniques for VHDL models.

1. J.C. Laprie, Dependable Computing and Fault Tolerance: Concepts and Terminology Proc. 15th IEEE Int'l Symp. Fault-Tolerant Computing (FTCS-15), pp. 2-11, June 1985.
2. K. Echtle and T. Chen, “Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing,” Proc. 21st Int'l Symp. Fault-Tolerant Computing (FTCS-21), pp. 418-425, Montreal, June 1991.
3. D. Avresky, J. Arlat, J.C. Laprie, and Y. Crouzet, Fault Injection for Formal Testing of Fault Tolerance IEEE Trans. Reliability, vol. 45, no. 3, pp. 443-455, Sept. 1996.
4. J. Christmansson and P. Santhaman, “Error Injection Aimed at Fault Removal in Fault Tolerance Mechanisms,” Proc. Seventh Int'l Symp. Software Reliability Eng. (ISSRE '96), pp. 175-184, White Plains, N.Y., Oct. 1996.
5. T.K. Tsai and R.K. Iyer, "An Approach to Benchmarking of Fault-Tolerant Commercial Systems," Proc. 26th Ann. Int'l Symp. Fault-Tolerant Computing, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 314-323.
6. T. Tsai et al., "Path-Based Fault Injection," Proc. Third ISSAT Int'l Conf. Reliability and Quality in Design, 1997, pp. 121-125.
7. K. Echtle, "Safety Testing by Fault Injection," Proc. Eighth European Workshop on Dependable Computing (EWDC-8), Chalmers Univ., Gothenburg, Sweden, 1997.
8. G.S. Choi, R.K. Iyer, and V. Carreno, “FOCUS: An Experimental Environment for Fault Sensitivity Analysis,” IEEE Trans. Computers, vol. 41, no. 12, pp. 1,515-1,526, Dec. 1992.
9. C.R. Yount and D.P. Siewiorek, A Methodology for the Rapid Injection of Transient Hardware Errors IEEE Trans. Computers, vol. 45, no. 8, pp. 881-891, Aug. 1996.
10. 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.
11. 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.
12. M. Kaâhniche et al., "A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture," Proc. 28th Int'l Symp. Fault-Tolerant Computing (FTCS-28), IEEE CS Press, 1998, pp. 6-15.
13. D. Stott, G. Ries, M. Hsueh, and R. Iyer, “Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection,” IEEE Trans. Computers, vol. 47, no. 1, pp. 108–119, Jan. 1998.
14. IEEE Standard VHDL Language Reference Manual, IEEE Std. 1076-1993, IEEE, Piscataway, N.J., 1993.
15. P. Thévenod-Fosse, H. Waeselynck, and Y. Crouzet, "Software Statistical Testing," Predictably Dependable Computing Systems, B. Randell et al., eds., Springer Berlin, 1995, pp. 253-272.
16. J. Boué, Fault Tolerance Testing by Means of Fault Injection in VHDL Simulation Models, doctoral dissertation, National Polytechnic Inst., Toulouse, France, 1997. (Also LAAS Report 97-503 in French).
17. T.A. DeLong, B.W. Johnson, and J.A. Profeta III, "A Fault Injection Technique for VHDL Behavioral-Level Models," IEEE Design&Test of Computers, Vol. Winter, 1996, pp. 24-33.
18. E. Jenn et al., “Fault Injection into VHDL Models: The MEFISTO tool,” Proc. 24th Fault-Tolerant Computer Systems Symp., pp. 66-75, 1994.
19. 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.
20. V. Sieh, O. Tschäche, and F. Balbach, "VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions," Proc. 27th Int'l Symp. Fault-Tolerant Computing (FTCS-27), IEEE CS Press, 1997, pp. 32-36.
21. P. Folkesson, S. Svensson, and J. Karlsson, A Comparison of Simulation Based and Scan Chain Implemented Fault Injection Proc. 28th Int'l Symp. Fault-Tolerant Computing (FTCS-28), pp. 284-293, 1998.
22. J. Arlat et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. Software Eng., Feb. 1990, pp. 166-182.
23. R.A. DeMillo, R.J. Lipton, and F.G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, Apr. 1978, pp. 34-41.
24. Y. Crouzet, P. Thévenod-Fosse, and H. Waeselynck, "Validation of Software Testing by Fault Injection: The SESAME Tool," Proc. 11th Conf. Reliability and Maintainability, 1998, pp. 551-559. (SEE, in French)
25. J.R. Armstrong, F.-S. Lam, and P.C. Ward, "Test Generation and Fault Simulation for Behavioral Models," Performance and Fault Modelling with VHDL, J.M. Schoen, ed., Prentice-Hall, Englewood Cliffs, N.J., 1992, pp. 240-303.
26. E. Jenn, On the Validation of Fault-Tolerant Systems: Fault Injection in VHDL Simulation Models, doctoral dissertation, National Polytechnic Inst., Toulouse, France, 1994. (Also LAAS Report 94-361 in French).
27. J. Boué, P. Pétillon, and Y. Crouzet, "MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance," Proc. 28th Int. Symp. Fault-Tolerant Computing (FTCS-28), IEEE CS Press, 1998, pp. 168-173.
28. H. Kopetz, "The Time-Triggered Approach to Real-Time System Design," Predictably Dependable Computing Systems, B. Randell et al., eds., Springer, Berlin, 1995, pp. 53-66.
29. D. Powell, G. Bonn, D. Seaton, P. Verissimo, and F. Waeselynck, The Delta-4 Approach to Dependability in Open Distributed Computing Systems Proc. 18th IEEE Int'l Symp. Fault-Tolerant Computing (FTCS-18), pp. 246-251, June 1988.
30. D. Briere and P. Traverse, "Airbus A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant Systems," Proc. FTCS, pp. 616-623, 1993.
31. P.J. Ashenden, "The VHDL Cookbook," tech. report., Univ. of Adelaide, South Australia, 1990.

Jean Arlat, Jérome Boué, Yves Crouzet, "Validation-Based Development of Dependable Systems," IEEE Micro, vol. 19, no. 4, pp. 66-79, July-Aug. 1999, doi:10.1109/40.782569
Usage of this product signifies your acceptance of the Terms of Use.