Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks

Abstract

Accurate and reliable routing protocols with Quality of Service (QoS) support determine the mission-critical application efficiency in WSNs. This paper proposes a model-checking design driven framework for designing the QoS-based routing protocols of WSNs, which involves the light-weight design process, the timed automata model, and the alternative QoS verification properties. The accurate feedback of continually model checking in the iterative design process effectively stimulates the parameter tuning of the protocols. We demonstrate the straightforward and modular characteristics of the proposed framework in designing a prototype QoS-based routing protocol. The prototype study shows that the model-checking design framework may complement other design methods and ensure the QoS implementation of the QoS-based routing protocol design for WSNs.

Lifetime maximization by partitioning approach in wireless sensor networks

“…The sensor node monitors, collects, and sends information to an allocated area [5]. This means that sensor nodes should operate in a limited energy budget to provide support for applications with an affordable cost [6]. However, batteries possess a finite energy capacity, and this limitation has generated significant interest concerned with the use of many aspects of WSNs to increase battery life by selecting optimal paths with effective power management to maximize operational lifetime [7].…”