文章基本信息

标题：Formal Verification of Bluetooth Standard 802.11a Using UPPAAL
本地全文：下载
作者：Er. Gurpreet Singh ; Er. Sandeep Kaur
期刊名称：International Journal of Advanced Research In Computer Science and Software Engineering
印刷版ISSN：2277-6451
电子版ISSN：2277-128X
出版年度：2013
卷号：3
期号：10
出版社：S.S. Mishra
摘要：The time domain and node connectivity is the most critical analytical approach as an analyser in a real time operating system. The purpose of using AODV routing protocol is to decrease the delay and increase the efficiency of the network. AODV routing protocol and employs the idea of a trust model to protect routing behaviours in the network layer of MANETs. Cooperation between nodes should be established without any centralized authority. In the TAODV, trust among nodes is represented by opinion. In secured trust can be used to enhance tight security in the network. Hence UPPAAL is a tool which is specially designed to verify the time constraint in a real time operating system. UPPAAL is appropriate for systems that can be modelled as a collection of non -deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared va riables. UPPAAL is a simulator that consists of three parts that are: Editor, Simulator and Verifier. The connectivity of transmitter and receiver is confirmed by verifying the receivers reply to the transmitter and data connectivity is verified by checking the energy level of receiver.
关键词：Ad- hoc network; TAODV; Routing Protocol; 802.11; UPPAAL