具有故障定位能力的健壮故障安全系统.pdfVIP

第 8 期 电　　子 　　学 　　报 Vol . 28 　No . 8 　2000 年 8 月 ACTA ELECTRONICA SINICA Aug. 　2000 　 具有故障定位能力的健壮故障安全系统 江建慧1 ,2 ,施鸿宝1 ( 1 上海铁道大学计算技术研究所 ,上海 200331 ;2 中国科学院计算技术研究所 CAD 开放研究实验室 ,北京 100080) 　　摘 　要 : 　本文以广义故障安全系统理论 、数字电路的并发差错定位概念为基础 ,提出了一种健壮故障安全系统 理论. 一个基本健壮故障安全电路是由一个实现电路基本功能的基本功能电路和一个差错定位转换器所组成的. 健壮 故障安全电路具有并发差错定位能力. 文中定义了表征健壮故障安全电路和差错定位转换器的基本特性 ;证明了基本 功能电路与差错定位转换器互连 , 以构造几种具有不同健壮故障安全特性的基本电路所需满足的条件 ;最后还用电路 实例说明了该理论的应用. 关键词 : 　故障安全 ; 健壮故障安全 ; 并发差错定位 ; 差错定位转换器 ; 电路互连 中图分类号 : 　TP302 　　　文献标识码 : 　A 　　　文章编号 : (2000) Robu st Failsafe Sy st em s with Fault Location Cap ability J IAN G Jianhui1 ,2 ,SHI Hongbao1 ( 1Institute of Comp uting Technology , Shanghai Tiedao University , Shanghai 200331, China ; ) 2 CAD L aboratory , Institute of Comp uting Technology , Chinese Academy of Sciences , Beij ing 100080 , China Ab stract : 　On the basis of the generalized failsafe systems theory and the concurrent error location concept ,a new theory of ro bust failsafe systems is proposed. A basic robust failsafe circuit is composed of a basic functional module and an errorlocating trans lator . Such a circuit has concurrent error location capability. Several properties to characterize robust failsafe circuits are defined. The interconnection conditions ,which basic functional modules and translators must satisfy to construct basic circuits with