Keywords Fault tolerant computer;Similar redundant computer;Dissimilar redundant computer;synchronization/asynchronization;crosscheck monitoring;fault tree;Markov process;fault insertion;

• 容错计算机;相似余度容错计算机;相异性设计;非相似余度容错计算机;同步/异步;交叉表决;故障树;马尔可夫过程;故障注入;