On dependability validation of safety critical systems
Licentiate thesis, 1997
VHDL
fault tolerance
coverage model
experimental validation
jet engine control
fault injection
FADEC
error detection
Markov model
Author
Sven Svensson
Department of Computer Engineering
Subject Categories
Computer Engineering
ISBN
91-7197-581-0
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 275