Formal Study of a Novel Network Role-based Routing Intelligent Algorithm
J.A. Mateo, Hermenegilda Macià, M. Carmen Ruiz, J.J. Pardo, Antonio M. Ortiz · Procedia Computer Science · 2013
NORIA (Network rOle-based Routing Intelligent Algorithm) is a novel routing algorithm for Wireless Sensor Networks (WSNs) which combines various effective techniques in order to reduce energy consumption and improve data routes. This paper presents a formal and rigorous study of NORIA. Prioritised-Timed Coloured Petri Nets (PTCPNs) have been used to describe complete and unambiguous specifications of system behaviour, whereas CPNTools is used to evaluate the correctness of the protocol using state space exploration.