Graph- versus Vector-Based Analysis of a Consensus Protocol

The Paxos distributed consensus algorithm is a challenging case-study for standard, vector-based model checking techniques. Due to asynchronous communication, exhaustive analysis may generate very large state spaces already for small model instances. In this paper, we show the advantages of graph transformation as an alternative modelling technique. We model Paxos in a rich declarative transformation language, featuring (among other things) nested quantifiers, and we validate our model using the GROOVE model checker, a graph-based tool that exploits isomorphism as a natural way to prune the state space via symmetry reductions. We compare the results with those obtained by the standard model checker Spin on the basis of a vector-based encoding of the algorithm.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767

Recent Trends in Communication Networks

In recent years there has been many developments in communication technology. This has greatly enhanced the computing power of small handheld resource-constrained mobile devices. Different generations of communication technology have evolved. This had led to new research for communication of large volumes of data in different transmission media and the design of different communication protocols. Another direction of research concerns the secure and error-free communication between the sender and receiver despite the risk of the presence of an eavesdropper. For the communication requirement of a huge amount of multimedia streaming data, a lot of research has been carried out in the design of proper overlay networks. The book addresses new research techniques that have evolved to handle these challenges

ENERGY-NEUTRAL DATA DELIVERY IN ENVIRONMENTALLY-POWERED WIRELESS SENSOR NETWORKS

Ph.DDOCTOR OF PHILOSOPH

Underwater Acoustic Sensor Node Scheduling using an Evolutionary Memetic Algorithm, Journal of Telecommunications and Information Technology, 2018, nr 1

Underwater Acoustic Sensor Networks (UWASNs) play an important role in monitoring the aqueous environment which has created a lot of interest for researchers and scientists. Utilization of underwater acoustic sensor node (UASN) scheduling for transmission remains, due to the limited acoustic bandwidth available, a challenge in such an environment. One of the methods to overcome this problem is to efficiently schedule UASN data using time division multiple access (TDMA) protocols the parallel transmissions, simultaneously avoiding interference. The paper shows how to optimize the utilization of acoustic sensor node bandwidth by maximizing the possible node transmissions in the TDMA frame and also by minimizing the node's turnaround wait time for its subsequent transmissions by using an evolutionary memetic algorithm (MA). The simulation of MA-TDMA proves that as the size of the network increases, every node in UWASN transmits with an average minimal turnaround transmission time. It also proves that as the TDMA cycle repeats, the overall network throughput gets maximized by increasing the possible node transmissions in the MA-TDMA frame

An Evolutionary-TDMA Scheduling Protocol (E-TDMA) for Mobile Ad Hoc Networks

A new single channel, time division multiple access (TDMA) schedulingprotocol, termed "Evolutionary-TDMA", is presented for mobile ad hocnetworks. The protocol allows nodes in an ad hoc network to reserveconflict-free TDMA slots for transmission to their neighbors. Two topology-dependent schedules are generated and maintained simultaneously. One is a broadcast schedule inwhich every node has one slot to transmit to all its neighbors. The other isa flexible schedule in which a node can reserve multiple slotsfor transmission of unicast, multicast and broadcast traffic. The schedules are reasonably bandwidth efficient and are frequently updated in an evolutionary manner to maintain conflict-free transmissions. The protocol executes across the entire network simultaneously in a fully distributed and parallel fashion. To react quickly to changing topology and bandwidth demands and to keep overhead low,participating nodes need only coordinate with their one-hop neighbors.Traffic prioritization and Quality of Service (QoS) can be supported with this protocol. Its performance, in terms of both scheduling quality and scheduling overhead, is insensitive to network size. Thus,it is a scalable protocol suitable for very large networks, and networks of varying size

Mobile Ad Hoc Networks

Guiding readers through the basics of these rapidly emerging networks to more advanced concepts and future expectations, Mobile Ad hoc Networks: Current Status and Future Trends identifies and examines the most pressing research issues in Mobile Ad hoc Networks (MANETs). Containing the contributions of leading researchers, industry professionals, and academics, this forward-looking reference provides an authoritative perspective of the state of the art in MANETs. The book includes surveys of recent publications that investigate key areas of interest such as limited resources and the mobility of mobile nodes. It considers routing, multicast, energy, security, channel assignment, and ensuring quality of service. Also suitable as a text for graduate students, the book is organized into three sections: Fundamentals of MANET Modeling and Simulation—Describes how MANETs operate and perform through simulations and models Communication Protocols of MANETs—Presents cutting-edge research on key issues, including MAC layer issues and routing in high mobility Future Networks Inspired By MANETs—Tackles open research issues and emerging trends Illustrating the role MANETs are likely to play in future networks, this book supplies the foundation and insight you will need to make your own contributions to the field. It includes coverage of routing protocols, modeling and simulations tools, intelligent optimization techniques to multicriteria routing, security issues in FHAMIPv6, connecting moving smart objects to the Internet, underwater sensor networks, wireless mesh network architecture and protocols, adaptive routing provision using Bayesian inference, and adaptive flow control in transport layer using genetic algorithms

Improving the Performance of Wireless LANs

This book quantifies the key factors of WLAN performance and describes methods for improvement. It provides theoretical background and empirical results for the optimum planning and deployment of indoor WLAN systems, explaining the fundamentals while supplying guidelines for design, modeling, and performance evaluation. It discusses environmental effects on WLAN systems, protocol redesign for routing and MAC, and traffic distribution; examines emerging and future network technologies; and includes radio propagation and site measurements, simulations for various network design scenarios, numerous illustrations, practical examples, and learning aids