北京航空航天大学学报 ›› 2017, Vol. 43 ›› Issue (6): 1112-1122.doi: 10.13700/j.bh.1001-5965.2016.0745

• 论文 • 上一篇    下一篇

基于双模冗余的胚胎电子细胞阵列在线故障检测

李丹阳, 蔡金燕, 孟亚峰, 朱赛   

  1. 军械工程学院 电子与光学工程系, 石家庄 050003
  • 收稿日期:2016-09-19 出版日期:2017-06-20 发布日期:2017-01-11
  • 通讯作者: 孟亚峰,E-mail:myfrad@163.com E-mail:myfrad@163.com
  • 作者简介:李丹阳 男,博士研究生。主要研究方向:电子装备故障检测与自修复;蔡金燕 女,教授,博士生导师。主要研究方向:电子系统可靠性分析与设计、电子系统仿生自修复设计等;孟亚峰 男,副教授,硕士生导师。主要研究方向:电子系统可靠性分析与设计、电子系统仿生自修复设计等;朱赛 男,博士,讲师。主要研究方向:仿生电子系统设计及电子系统自修复设计。
  • 基金资助:
    国家自然科学基金(61372039,61601495)

Online fault detection based on dual modular redundancy for embryonics array

LI Danyang, CAI Jinyan, MENG Yafeng, ZHU Sai   

  1. Department of Electronic and Optical Engineering, Ordnance Engineering College, Shijiazhuang 050003, China
  • Received:2016-09-19 Online:2017-06-20 Published:2017-01-11
  • Supported by:
    National Natural Science Foundation of China (61372039, 61601495)

摘要: 针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题,提出了一种基于双模冗余的在线故障检测方法和一种基于电路等价性验证的故障检测率分析方法。设计了一种适用于查找表型功能单元的新型检测器,并开发了自动化设计程序。针对单固定型故障,将电路转变为待验证电路,再通过故障注入和等价性验证,可以快速精确地计算电路的故障检测率。仿真实验选取16个不同规模的标准电路,分别映射在胚胎电子细胞阵列中,分析了双模冗余后面积、延时变化情况和双模冗余的故障检测率。仿真结果给出了较为详细的面积消耗、电路延时和故障检测率等数据,并验证了本文方法具有很高的故障检测率。

关键词: 胚胎电子细胞阵列, 在线故障检测, 双模冗余, 自动化设计, 等价性验证

Abstract: In order to solve the problems for embryonics array that online fault detection is difficult to be designed, detection rate is low, and detection rate is difficult to be accurately calculated, an online fault detection method based on dual modular redundancy and a fault detection rate analysis method based on equivalence checking are proposed. A novel checker which is suitable for look up table style function module of embryonics cell is designed, and the automated design program is developed. For single stuck at fault, the circuit is first converted to an equivalence checking circuit, and then through fault injection and equivalence checking, fault detection rate can be accurately calculated. In simulations, 16 different sizes of benchmark circuits are chosen, and mapped into embryonics array. Area, delay and fault detection rate of the dual modular redundancy circuit are analyzed. Simulation results are presented with detailed area consumption data, circuit delay data and fault detection rate data, and verify that the proposed method has a high fault detection rate.

Key words: embryonics array, online fault detection, dual modular redundancy, automated design, equivalence checking

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发