Title :
Formal modelling and performance evaluation of a novel role-based Routing Algorithm for wireless sensor networks
Author :
Ruiz, M.C. ; Mateo, J.A. ; Macia, H. ; Pardo, J.J. ; Olivares, T.
Author_Institution :
Escuela Super. de Ing. Inf., Univ. de Castilla La-Mancha, Albacete, Spain
Abstract :
NORA (Network rOle-based Routing Algorithm) is a novel routing algorithm for WSNs which combines various effective techniques in order to reduce energy consumption and improves data routes. There is a clear need for the use of formal methods to validate system performance and functionality prior to the deployment of such algorithms in a real environment. This paper presents a formal study of NORA. Coloured Petri Nets (CPNs) have been chosen as an appropriate modelling language. CPNs have been used to obtain complete and unambiguous specifications of system behaviour as well as CPNTools to evaluate the correctness of the protocol, using state space exploration, and performance evaluation.
Keywords :
Petri nets; routing protocols; wireless sensor networks; CPNTools; Coloured Petri Nets; NORA; WSN; data routes; energy consumption; formal methods; formal modelling; network role based routing algorithm; novel role based routing algorithm; performance evaluation; protocols; state space exploration; wireless sensor networks; Analytical models; Base stations; Batteries; Petri nets; Protocols; Routing; Wireless sensor networks;
Conference_Titel :
Advanced Computing and Communications (ADCOM), 2012 18th Annual International Conference on
Conference_Location :
Bangalore
Print_ISBN :
978-1-4799-0802-8
DOI :
10.1109/ADCOM.2012.6563577
