| 高速SpaceWire协议IP的可靠性增强方法 |
| |
| 引用本文： | 姜宏,杨孟飞,刘波,刘鸿瑾,龚健.高速SpaceWire协议IP的可靠性增强方法[J].宇航学报,2019,40(9):1071-1079. |
| |
| 作者姓名： | 姜宏 杨孟飞 刘波 刘鸿瑾 龚健 |
| |
| 作者单位： | 1. 北京控制工程研究所，北京 100190； 2. 中国空间技术研究院，北京 100094 |
| |
| 基金项目： | 十三五装备发展部领域基金（6140861020101）；十三五民用航天（D020405）；十三五装备研究项目（30508030101） |
| |
| 摘 要： | 针对航天高速SpaceWire总线系统对协议IP的高可靠性要求，提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进，将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集，对一般单元集中的每个单元做三模冗余，对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统，而且优于部分三模冗余系统，使系统可靠性得到有效提高。
|
| 关 键 词： | 高速SpaceWire 可靠性 三模冗余 顺序四模冗余 现场可编程逻辑门阵列 |
| 收稿时间： | 2018-08-10 |
Dependability Enhancement Method for High Speed SpaceWire Protocol IP |
| |
| JIANG Hong,YANG Meng fei,LIU Bo,LIU Hong jin,GONG Jian.Dependability Enhancement Method for High Speed SpaceWire Protocol IP[J].Journal of Astronautics,2019,40(9):1071-1079. |
| |
| Authors: | JIANG Hong YANG Meng fei LIU Bo LIU Hong jin GONG Jian |
| |
| Affiliation: | 1. Beijing Institute of Control Engineering, Beijing 100190, China; 2. China Academy of Space Technology, Beijing 100094, China |
| |
| Abstract: | To meet the high reliability requirements of high-speed SpaceWire protocol IP, an enhanced triple modular redundancy (TMR) method for SRAM type field programmable gate array (FPGA) is proposed. To improve the traditional TMR and partial TMR, the original design of TMR is divided into a general unit set and a key unit set with weak reliability. The TMR method is used for each unit in the general unit set, and the sequential quad-modular redundancy (SQMR) method is proposed for each unit in the key unit set. The reliability formula and voter’s Boolean expression of SQMR are offered. A Markov model on system reliability is established. Based on this model, a group of reliability simulation is carried out. The simulation results show that the reliability of the enhanced TMR system is not only better than the traditional TMR system, but also better than the partial TMR system, and the enhanced TMR can make the reliability of the system effectively improved. |
| |
| Keywords: | High-speed SpaceWire Dependability Triple modular redundancy Sequential quad-modular redun-dancy Field programmable gate array |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《宇航学报》浏览原始摘要信息 |
|
点击此处可从《宇航学报》下载全文 |
