基于FSM的感知节点软件故障检测  

FSM-Based Fault Detection for Sensor Node Software

作　　者：马峻岩[1] 周兴社[2] 李士宁[2] 

机构地区：[1]长安大学信息工程学院,西安710064 [2]西北工业大学计算机学院,西安710072

出　　处：《北京邮电大学学报》2013年第2期107-112,共6页Journal of Beijing University of Posts and Telecommunications

基　　金：国家"十一五"科技支撑计划子课题(2007BAD79B00);国家科技重大专项项目(2012ZX03005007-004)

摘　　要：针对事件驱动程序运行时的故障检测问题,提出了一种基于有限状态机(FSM)的感知节点软件故障检测方法.用户通过撰写FSM规范,并在程序中添加与FSM执行相关的宏标记,对程序期望行为进行描述.在节点运行时通过比较FSM规范和收集的FSM执行信息,实现节点软件故障检测.针对2类典型节点硬件平台,研究了3种故障检测机制的存储和计算开销,最后通过2个实例分析验证了所提方法的有效性.A method of finite-state machine （FSM） based fault detection is proposed to detect faults of e- vent-driven programs. To describe expectation of program behaviors, users specify FSM specifications and insert relevant FSM annotations into the programs. At runtime, software faults are detected through com- paring the FSM specifications with collected execution information of the relevant FSMs. Storage and runt- ime overheads of three detection mechanisms are investigated on two typical node hardware platforms. Two cases are given to demonstrate the effectiveness of the proposed method for sensor node software fault detection.

关 键 词：传感器网络 事件驱动模型 故障检测 有限状态机 

分 类 号：TN311[电子电信—物理电子学]