[发明专利]基于可编程器件的双模冗余容错方法有效
申请号: | 201510102960.3 | 申请日: | 2015-03-09 |
公开(公告)号: | CN104615510B | 公开(公告)日: | 2017-01-25 |
发明(设计)人: | 郑美松;王子龙;涂吉;王骏也;李立健 | 申请(专利权)人: | 中国科学院自动化研究所 |
主分类号: | G06F11/16 | 分类号: | G06F11/16 |
代理公司: | 北京瀚仁知识产权代理事务所(普通合伙)11482 | 代理人: | 宋宝库 |
地址: | 100080 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供的基于可编程器件的双模冗余容错方法,包括将电路映射为查找表,从所述查找表中提取冗余电路信息,并根据所述冗余电路信息构建电路拓扑结构;根据所述电路拓扑结构计算所述查找表的输出端的固定故障传播概率,并将所述固定故障传播概率存储在所述电路拓扑结构的数据库中;根据所述固定故障传播概率计算预定数量的查找表;根据所述预定数量的查找表对可编程器件进行加固。本发明可以提高电路的可靠性。 | ||
搜索关键词: | 基于 可编程 器件 双模 冗余 容错 方法 | ||
【主权项】:
一种基于可编程器件的双模冗余容错方法,其特征在于,所述方法包括:将电路映射为查找表,从所述查找表中提取冗余电路信息,并根据所述冗余电路信息构建电路拓扑结构;根据所述电路拓扑结构计算所述查找表的输出端的固定故障传播概率,并将所述固定故障传播概率存储在所述电路拓扑结构的数据库中;根据所述固定故障传播概率计算预定数量的查找表;根据所述预定数量的查找表对可编程器件进行加固;所述根据所述电路拓扑结构计算所述查找表的输出端的固定故障传播概率包括:根据所述电路拓扑结构按第一顺序计算所述查找表的输出端的逻辑值的概率;根据所述电路拓扑结构按第二顺序计算所述查找表的输出端的可观测性;根据所述逻辑值的概率和所述可观测性计算所述查找表的输出端的固定故障传播概率。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院自动化研究所,未经中国科学院自动化研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201510102960.3/,转载请声明来源钻瓜专利网。