To meet the real time requirements of long running software,this paper adopts the methods of setting checkpoints and rollback to derive a system model based on dual computer redundancy.

• 为了保证长运行时间软件的实时性要求,本文针对双机冗余系统,采用检查点设置与卷回恢复的方法提出了一种系统模型,同时为使任务的完成时间最短而给出了如何确定检查点设置周期的方法。