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.
Jean Arlat, Jérome Boué, Yves Crouzet, "Validation-Based Development of Dependable Systems", IEEE Micro, vol. 19, no. , pp. 66-79, July/August 1999, doi:10.1109/40.782569