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

FSM-Based Fault Detection for Sensor Node Software

针对事件驱动程序运行时的故障检测问题,提出了一种基于有限状态机(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.