On the application of data diversity in dependable flight control systems
Licentiatavhandling, 1994

data diversity

Markov modellling

self-checking

simulation-based fault injection

Heisenbugs

software design faults

error recovery

Författare

Jörgen Christmansson

Institutionen för datorteknik

Ämneskategorier

Datorteknik

ISBN

91-7032-935-4

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