%0 Journal Article %T 基于FSM的感知节点软件故障检测 %A 马峻岩 %A 周兴社 %A 李士宁 %J 北京邮电大学学报 %P 107-112 %D 2013 %R 10.13190/jbupt.201302.107.majy %X 针对事件驱动程序运行时的故障检测问题,提出了一种基于有限状态机(FSM)的感知节点软件故障检测方法.用户通过撰写FSM规范,并在程序中添加与FSM执行相关的宏标记,对程序期望行为进行描述.在节点运行时通过比较FSM规范和收集的FSM执行信息,实现节点软件故障检测.针对2类典型节点硬件平台,研究了3种故障检测机制的存储和计算开销,最后通过2个实例分析验证了所提方法的有效性. %K 传感器网络 %K 事件驱动模型 %K 故障检测 %K 有限状态机 %U http://www.buptjournal.cn/CN/abstract/abstract1453.shtml