The experiment has been tryed successfully on the Intel 432 with Ada language.

• 经过在英特尔432机器上的实验证明,通过程序系统的模块化尤其是动态模块化所构成的软件容错系统具有很强的容错能力。