SIFT:飞机控制用的容错计算机的设计和分析

SIFT(软件实现容)是飞机关链性的控制应用的一种可(亻告)性计祘机,这种计祘机是通过处理件中间的任务重复而实现容。主处理件是一发现有的小型计祘机,和一些对1/0系统起接口作用的标准微型计祘机。采用专门设计的冗余总线系统互连各处理件实现故障隔离。错误检测和分析以及系统重新组合都用软件来实现,重复任务冗余地执行。对每个重复结果使用之前都要实行表决。因此,用三任务可容许在处理件或总线中有任何单个故障,且容许在重新组合之后接着发生的故障。由各分隔处理独立执行的任务处理机只要求松驰同步。文中叙述了一种新的容同步法。SIFT软件结构非常大,且在形式上规定使用SRI所提出的SPECIAL语言。