基于故障树的无线传感器网络可靠度符号计算  

Symbolic computation method of wireless sensor network reliability based on fault tree

作　　者：聂晨华 高西[1] 董荣胜[1] 

机构地区：[1]桂林电子科技大学广西可信软件重点实验室,广西桂林541004

出　　处：《计算机工程与设计》2015年第6期1425-1431,1451,共8页Computer Engineering and Design

基　　金：国家自然科学基金项目(61363070);广西可信软件重点实验室重点基金项目(kx201401)

摘　　要：以无线传感器网络(WSN)中应用通信可靠性(ACR)为背景,利用故障树模型中的事件元素与逻辑门元素,建立基于故障树的WSN可靠性结构。为降低WSN可靠度计算的复杂性,给出从WSN可靠性结构转换到二元决策图BDD结构的算法,利用BDD算法优化计算过程。以分层簇型网络中可用路径以及节点冗余下的应用通信可靠性问题为例,给出其可靠性结构,利用CUDD软件包给出用递归方法实现构建基于故障树的WSN可靠性结构的BDD算法,计算以上两种情况下的WSN可靠度。实验结果表明,该方法具有可行性。A wireless sensor network （WSN） reliability structure model based on event and logic gate elements of fault tree was introduced to analyze application communication reliability （ACR） of WSN .To reduce the complexity of WSN reliability calcula‐tion ,an algorithm was proposed to transform the WSN reliability structure to the BDD （binary decision diagram） structure .A BDD algorithm was used to optimize reliability calculation process .Considering operational path and node redundancy problems in hierarchical clustering of WSN ,the building process of WSN reliability structure was given .A recursive method was proposed to implement the BDD of the WSN reliability structure using the software package CUDD .The WSN reliability on above two ca‐ses was calculated .The experimental results show that the proposed method is feasibility .

关 键 词：无线传感器网络 故障树 可靠性结构 二元决策图 可靠度 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]