Formal study of a novel network role-based routing intelligent algorithm
NORIA (Network rOle-based Routing Intelligent Algorithm) is a novel routing algorithm for Wireless Sensor Networks (WSNs) which combines various e ective techniques in order to reduce energy consumption and improve data routes. This algorithm uses role assignment for distributing tasks over the netw...
| Autores: | ; ; ; ; |
|---|---|
| Tipo de documento: | Artículo |
| Fecha de publicación: | 2013 |
| País: | España |
| Institución: | Universidad de Castilla-La Mancha |
| Repositorio: | RUIdeRA. Repositorio Institucional de la UCLM |
| OAI Identifier: | oai:ruidera.uclm.es:10578/47534 |
| Acceso en línea: | http://www.sciencedirect.com/science/article/pii/S1877050913005760 https://hdl.handle.net/10578/47534 |
| Nivel de acceso: | Acceso abierto |
| Palabra clave: | Coloured Petri nets Formal Methods Performance Evaluation Routing Algorithms. Wireless Sensor Networks |
| Sumario: | NORIA (Network rOle-based Routing Intelligent Algorithm) is a novel routing algorithm for Wireless Sensor Networks (WSNs) which combines various e ective techniques in order to reduce energy consumption and improve data routes. This algorithm uses role assignment for distributing tasks over the network nodes and fuzzy logic for making decisions. There is a clear need for the use of formal methods to validate the correctness of the protocols as well as performance and functionality prior to the deployment of such algorithms in a real environment. This paper presents a formal and rigorous study of NORIA. Prioritised-Timed Coloured Petri Nets (PTCPNs) have been chosen as an appropriate modelling language. In this way, PTCPNshavebeenusedto describe complete and unambiguous specifications of system behaviour, whereas CPNTools is used to evaluate the correctness of the protocol using state space exploration, and for performance evaluation using simulation. |
|---|