Please use this identifier to cite or link to this item:
http://hdl.handle.net/2080/1226
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Amirineni, K K | - |
dc.contributor.author | Chinara, S | - |
dc.contributor.author | Rath, S K | - |
dc.date.accessioned | 2010-04-19T07:43:54Z | - |
dc.date.available | 2010-04-19T07:43:54Z | - |
dc.date.issued | 2010 | - |
dc.identifier.citation | Proceedings of the 4th National Conference; INDIACom-2010 , Computing For Nation Development, February 25 – 26, 2010, Bharati Vidyapeeth’s Institute of Computer Applications and Management, New Delhi | en |
dc.identifier.uri | http://hdl.handle.net/2080/1226 | - |
dc.description.abstract | Validation of protocols is essential to ensure that the protocol is unambiguous, complete and functionally correct. One approach to ensure the correctness of an existing protocol is to create a formal model for the protocol, and analyze the model to determine if indeed the protocol provides the defined services correctly. Due to the dynamic nature, concurrency and different levels of abstraction associated with the Mobile Ad-Hoc Network (MANET) protocols, it is difficult to design a model for MANET protocols with existing techniques like UML and other modeling languages. Colored Petri Nets (CPN) is a suitable modeling language for this purpose. This is a promising tool for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic and stochastic. As a graphical tool, CPNs can be used as a visual-communication aid similar to flow charts, block diagrams and networks. In addition, tokens are used in these nets to simulate the dynamic and concurrent activities of the system. This paper considers a weighted clustering algorithm (WCA) for MANETs which takes into consideration the ideal degree, transmission power, mobility and battery power of a mobile node. In MANET a node can move in and out and thus the MANETs topology (graph) dynamically changes. This paper considers a Topology Approximation (TA) mechanism to address this problem of mobility and perform simulations of typical protocol called On-Demand WCA. Our simulation reports validate the correctness of both TA mechanism in terms of dynamically changing topology of MANETs and WCA in terms of number of cluster heads and dominant set updates. | en |
dc.format.extent | 503949 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.subject | Colored Petri net (CPN), | en |
dc.subject | Mobile ad hoc network (MANET), | en |
dc.subject | Weighted clustering algorithm (WCA), | en |
dc.subject | Validation | en |
dc.title | Validation of Clustering Algorithm for Mobile Ad-Hoc Networks Using Colored Petri Nets | en |
dc.type | Article | en |
Appears in Collections: | Conference Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Full_Paper.pdf | 492.14 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.