A Formal and Efficient Routing Model for Persistent Traffics in the Internet of Things

Abstract

Emerging internet of things applications are predicting deployment of sensor devices in thousands of computing elements into multi-technology and multi-protocol platforms. In this complex system, access to information will be available not only at any time and anywhere, but also using anything. The efficient management of such a complex system is still a subject of research. This paper revisits the "Least Interference Beaconing Algorithm" (LIBA) recently proposed for IoT settings and proposes preventive mechanisms to ensure efficient performance in terms of traffic engineering for emerging Internet of Things (IOT). It reveals the LIBA issues and address them by proposing a persistently correct routing algorithm. Using Z notation, the proposed algorithm referred to as PLIBA (Persistent Least Interference Routing Algorithm), is formalised and its properties leading to its correctness are formally stated and proven. Simulations show how step by step, the proposed algorithm corrects LIBA and how it improves the performance in terms of load balancing.