Title :
Validation-based development of dependable systems
Author :
Arlat, Jean ; Boué, Jérome ; Crouzet, Yves
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
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 that are supported by a generic tool
Keywords :
fault tolerant computing; hardware description languages; VHDL models; dependable systems; design process; fault injection techniques; fault tolerance; fault tolerance mechanisms; generic tool; validation-based development; Fault tolerance; Fault tolerant systems; Formal verification; Information analysis; Integrated circuit modeling; Process design; Protocols; Redundancy; Software testing; System testing;
Journal_Title :
Micro, IEEE
