A safety patrolling model based on RFID
Jiang Yan · Shenyang Gongye Daxue xuebao · 2009
Aiming at the system problem that a lot of safety patrolling systems based on RFID(Radio Frequency Identification) technology are lack of general instructive model,an general safety patrol model was proposed by decomposing module of patrol system,defining elements of patrol plan and gauging constraint conditions.An event matching algorithm was obtained on the basis of complete formal specification for general patrol model.The evaluation methods of related liability accident and hidden trouble were presented.The correctness of both patrol model and evernts matching algorithm is proved by simulation experiment.The model is of the dirrecting effect for safety patralling systems based on RFID.The executing result evaluation methods can adjust the patrol plan and improve the system safety.