TMR—FS计算机控制系统的基本研究

摘要

故障安全(FS)是计算机系统安全性设计中的重要基本概念之一.本文将对严格同步的、三模冗余FS计算机控制系统(以下简称为TMR-FS系统)作一些基本研究. 一、FS系统的形式定义设S为任一系统.F={f_i|i=1,2,…,m}是S的故障模式集合.z_c(t)是S在无故障时的输出向量.z(f_k,z_c(t))是S在f_k((?)f_K∈F)故障模式下的输出向量.