Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance
Journal Title: EAI Endorsed Transactions on Internet of Things - Year 2017, Vol 3, Issue 11
Abstract
Battlefield surveillance requires mission-critical operations and tasks which can effectively be performed using Wireless Sensor and Actor Networks (WSANs). We have used clustering approach for deployment of WSAN to minimize energy consumption and to limit the processing cost. The adverse environment conditions in battlefield may cause a loss of connectivity but there is a need of continuous flow of information in this application. Therefore an algorithm for network recovering is proposed. Firstly, graphical model of the system is presented using graph theory which is then transformed into a formal model by developing formal specification using Vienna Development Method-Specification Language (VDM-SL). Invariants and pre/post-conditions are defined for its validation. The correctness of the formal specification is assured by an analysis through VDM-SL toolbox.
Authors and Affiliations
Nazir Ahmad Zafar , Hamra Afzaal
Keywords
Related Articles
- EP ID EP46599
- DOI http://dx.doi.org/10.4108/eai.26-3-2018.154377
- Views 281
- Downloads 0
A heuristic procedure for compact Markov representation of PH distributions
The minimal Markovian representation of PH distributions is an open research problem, which was actively investigated during the last two decades. We present a numerical method for finding small Markovian representation...
State-of-the-Art Congestion Control Protocols in WSN: A Survey
Wireless Sensor Networks (WSNs) inherently are resource-constrained in terms of available energy, bandwidth, processing power and memory space. In these networks, congestion occurs when the incoming traffic load surpasse...
Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance
Battlefield surveillance requires mission-critical operations and tasks which can effectively be performed using Wireless Sensor and Actor Networks (WSANs). We have used clustering approach for deployment of WSAN to mini...
On mean waiting time completeness and equivalence of EDD and HOL-PJ dynamic priority in 2-class M/G/1 queue
This paper identifies two different parametrized dynamic priority queue disciplines, earliest due date (EDD) based and head of line priority jump (HOL-PJ), which are found to be mean waiting time complete in two class M/...
An iterative Power Allocation Alogrithm for Energy Efficiency Optimization in Massive MIMO Systems
In this paper, a transmitting power allocation strategy for users jointed together pre-coding is presented to eliminate inter-users interference and improve the energy efficiency of Massive MIMO systems. The power alloca...