On the application of data diversity in dependable flight control systems
Licentiate thesis, 1994
data diversity
Markov modellling
self-checking
simulation-based fault injection
Heisenbugs
software design faults
error recovery
Author
Jörgen Christmansson
Department of Computer Engineering
Subject Categories
Computer Engineering
ISBN
91-7032-935-4
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 171