CAJ | 학술논문

物联网中存在大量的EPC信息，这些信息被阅读器采集后经过Savant中间件的处理后送至上层应用程序，因此如何提高Savant的处理效率成为了研究者关注的重心．本文简述了Savant中间件的体系结构和工作原理，分析了Savant系统处理EPC信息的过程，在对处理过程进行形式化建模与分析的基础上，提出了一种新的Savant过滤海量EPC信息的方法，并分析了这种处理方法的优势．最后用LTSA工具验证了该方法的安全性和有效性．
물련망중존재대량적EPC신식，저사신식피열독기채집후경과Savant중간건적처리후송지상층응용정서，인차여하제고Savant적처리효솔성위료연구자관주적중심．본문간술료Savant중간건적체계결구화공작원리，분석료Savant계통처리EPC신식적과정，재대처리과정진행형식화건모여분석적기출상，제출료일충신적Savant과려해량EPC신식적방법，병분석료저충처리방법적우세．최후용LTSA공구험증료해방법적안전성화유효성．
There are a lot of EPC information in EPC Network, these information are sent to the upper progress after handled by Savant middleware. So how to improve the efficency is becoming the concern of researchers. This paper expatiated the architecture and the working principle of the Savant middleware and analyzed the process of Savant deal with the EPC information , Based on the formal model and analysis , a new method of Savant handle EPC based on FSP was presented. The superiority, safety and validity of the method was checked by LTSA tool.