Issue No. 04 - July/August (1999 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/40.782569
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.
J. Boué, J. Arlat and Y. Crouzet, "Validation-Based Development of Dependable Systems," in IEEE Micro, vol. 19, no. , pp. 66-79, 1999.