Formal Verification of DSR Protocol in Wireless Networks Using SMV Model Checker
Formal verification is one of the best methods for evaluating the systems. In this paper we used SMV model checker to evaluate the performance of DSR protocol in wireless networks. Since the modeHng of whole DSR network in SMV is not possible, we used a Case Study example. In this- example, node failure and link break conditions are investigated. By using SMV model checker, we have been able to detect routing problems in these situations and guarantee the safe arriving of data packet to destination by providing an algorithm. Implementation results show that SMV model checker is one of the tools for verifies the wireless routing protocols.
Formal verification model checking DSR protocol SMV wireless networks computational tree logics
Alireza souri Alireza Jomeiri
Department of Engineering University College of Nabi Akram Tabriz, Iran Islamic Azad University Marand branch Tabriz. Iran
国际会议
重庆
英文
1588-1592
2011-08-20（万方平台首次上网日期，不代表论文的发表时间）