At last, using a test on some spaceflight fault tolerance software, the feasibility of the module is proved.

• 最后，通过在航天某型号容错软件上的试验，证明了该模型的可行性。