On dependability validation of safety critical systems
Licentiatavhandling, 1997
VHDL
fault tolerance
coverage model
experimental validation
jet engine control
fault injection
FADEC
error detection
Markov model
Författare
Sven Svensson
Institutionen för datorteknik
Ämneskategorier (SSIF 2011)
Datorteknik
ISBN
91-7197-581-0
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 275