Formal Study of a Novel Network Role-based Routing Intelligent Algorithm

AbstractNORIA (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