On the design and validation of dependable real-time systems
Licentiatavhandling, 2001

error recovery

analytical coverage estimation

fault injection

real-time kernels

time redundancy

concurrent error detection

node-level fault tolerance

Författare

Joakim Aidemark

Institutionen för datorteknik

Ämneskategorier

Datorteknik

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