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

fYear

2012

fDate

14-16 Dec. 2012

Firstpage

4

Lastpage

11

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Computing and Communications (ADCOM), 2012 18th Annual International Conference on

Conference_Location

Bangalore

Print_ISBN

978-1-4799-0802-8

Type

conf

DOI

10.1109/ADCOM.2012.6563577

Filename

6563577