Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

Correct and efficient initialization of wireless sensor networks can be challenging in the face of many uncertainties present in ad hoc wireless networks. In this paper we examine an implementation for the formation of a cluster-tree topology in a network which operates on top of the TSCH MAC operation mode of the IEEE 802.15.4 standard, and investigate it using formal methods. We show how both the mCRL2 language and toolset help us in identifying scenarios where the implementation does not form a proper topology. More importantly, our analysis leads to the conclusion that the cluster-tree formation algorithm has a super linear time complexity. So, it does not scale to large networks.Comment: In Proceedings MARS 2017, arXiv:1703.0581

A critical analysis of research potential, challenges and future directives in industrial wireless sensor networks

In recent years, Industrial Wireless Sensor Networks (IWSNs) have emerged as an important research theme with applications spanning a wide range of industries including automation, monitoring, process control, feedback systems and automotive. Wide scope of IWSNs applications ranging from small production units, large oil and gas industries to nuclear fission control, enables a fast-paced research in this field. Though IWSNs offer advantages of low cost, flexibility, scalability, self-healing, easy deployment and reformation, yet they pose certain limitations on available potential and introduce challenges on multiple fronts due to their susceptibility to highly complex and uncertain industrial environments. In this paper a detailed discussion on design objectives, challenges and solutions, for IWSNs, are presented. A careful evaluation of industrial systems, deadlines and possible hazards in industrial atmosphere are discussed. The paper also presents a thorough review of the existing standards and industrial protocols and gives a critical evaluation of potential of these standards and protocols along with a detailed discussion on available hardware platforms, specific industrial energy harvesting techniques and their capabilities. The paper lists main service providers for IWSNs solutions and gives insight of future trends and research gaps in the field of IWSNs

Heterogeneous integration of optical wireless communications within next generation networks

Unprecedented traffic growth is expected in future wireless networks and new technologies will be needed to satisfy demand. Optical wireless (OW) communication offers vast unused spectrum and high area spectral efficiency. In this work, optical cells are envisioned as supplementary access points within heterogeneous RF/OW networks. These networks opportunistically offload traffic to optical cells while utilizing the RF cell for highly mobile devices and devices that lack a reliable OW connection. Visible light communication (VLC) is considered as a potential OW technology due to the increasing adoption of solid state lighting for indoor illumination. Results of this work focus on a full system view of RF/OW HetNets with three primary areas of analysis. First, the need for network densication beyond current RF small cell implementations is evaluated. A media independent model is developed and results are presented that provide motivation for the adoption of hyper dense small cells as complementary components within multi-tier networks. Next, the relationships between RF and OW constraints and link characterization parameters are evaluated in order to define methods for fair comparison when user-centric channel selection criteria are used. RF and OW noise and interference characterization techniques are compared and common OW characterization models are demonstrated to show errors in excess of 100x when dominant interferers are present. Finally, dynamic characteristics of hyper dense OW networks are investigated in order to optimize traffic distribution from a network-centric perspective. A Kalman Filter model is presented to predict device motion for improved channel selection and a novel OW range expansion technique is presented that dynamically alters coverage regions of OW cells by 50%. In addition to analytical results, the dissertation describes two tools that have been created for evaluation of RF/OW HetNets. A communication and lighting simulation toolkit has been developed for modeling and evaluation of environments with VLC-enabled luminaires. The toolkit enhances an iterative site based impulse response simulator model to utilize GPU acceleration and achieves 10x speedup over the previous model. A software defined testbed for OW has also been proposed and applied. The testbed implements a VLC link and a heterogeneous RF/VLC connection that demonstrates the RF/OW HetNet concept as proof of concept