对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-co...对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-col),它采用预定义的节点顺序解决共享介质冲突,并且在单一故障模式假设下,实现了有序的、可靠的消息传输服务,并采用基于模型检测的形式化方法进行了容错系统安全性的验证。验证结果显示基于NOP协议构建的三模冗余系统,在单一任意故障模式下,能够正确地进行故障的检测和诊断,并保证所有正常节点保持一致状态,从而保证单一故障节点被掩蔽,实现单一故障的容错能力。展开更多
Fault-tolerant data transmission models based on the redundant residue number system are proposed in this paper; they can transmit data correctly between two ends unless the residue errors exceed the error-correction ...Fault-tolerant data transmission models based on the redundant residue number system are proposed in this paper; they can transmit data correctly between two ends unless the residue errors exceed the error-correction capability. The expressions for the probability of error are presented when the channel noise is additive Gaussian noise and each branch is M-ary orthogonal signaling modulation. The expressions of the probabilities of undetected and uncorrected error are also obtained when the redundant residue number system are single error-checking and single error-correcting model, respectively.展开更多
文摘对于安全关键系统容错是其实现安全性的重要手段,为最小化冗余单元之间的关联性,通常采用分布式冗余系统,典型的是三模冗余系统。为了在分布式环境下,实现基于三模冗余机制的容错系统,提出了一种可靠的广播协议-NOP(Node Order Proto-col),它采用预定义的节点顺序解决共享介质冲突,并且在单一故障模式假设下,实现了有序的、可靠的消息传输服务,并采用基于模型检测的形式化方法进行了容错系统安全性的验证。验证结果显示基于NOP协议构建的三模冗余系统,在单一任意故障模式下,能够正确地进行故障的检测和诊断,并保证所有正常节点保持一致状态,从而保证单一故障节点被掩蔽,实现单一故障的容错能力。
基金Supported by the National Natural Science Foundation of China
文摘Fault-tolerant data transmission models based on the redundant residue number system are proposed in this paper; they can transmit data correctly between two ends unless the residue errors exceed the error-correction capability. The expressions for the probability of error are presented when the channel noise is additive Gaussian noise and each branch is M-ary orthogonal signaling modulation. The expressions of the probabilities of undetected and uncorrected error are also obtained when the redundant residue number system are single error-checking and single error-correcting model, respectively.
