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

Datorteknik

ISBN

91-7197-581-0

Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 275