In this paper, we address the problem of improving the medium access control (MAC) layer efficiency in indoor broadband power line communication networks. Several overheads in the MAC layer, like random back-offs and collision recovery, degrade the MAC efficiency. To reduce these overheads, we apply in-band full-duplexing (IBFD), which enables medium-aware transmission at all the network nodes. Specifically, we propose two new schemes called contention-free pre-sensing and mutual preamble detection to minimize the time spent during contentions and collisions. Considering the non-idealities of IBFD, we analytically show the feasibility of our solutions. We further design a comprehensive simulation model with multiple priority data frames and Poisson network traffic arrival to emulate a real in-home network traffic. We then present numerical results for both the classical saturated network model and the comprehensive traffic model, to show through OMNeT++ simulations that our presented solutions achieve over 95% of the optimum MAC efficiency that can only be attained in the idealized case of no contentions or collisions.

This paper focused on the safety verification of the multithreaded programs for mobile crowdsourcing networks. A novel algorithm was proposed to find a way to apply IC3, which is typically the fastest algorithm for SAT‐based finite state model checking, in a very clever manner to solve the safety problem of multithreaded programs. By computing a series of overapproximation reachability, the safety properties can be verified by the SAT‐based model checking algorithms. The results show that the new algorithm outperforms all the recently published works, especially on memory consumption (an advantage that comes from IC3).

In this paper, we introduce a new scheme called Mutual Preamble Detection (MPD) to reduce the collision recovery time in broadband power line communication (BB-PLC) networks. Although latest BB- PLC products deliver a physical layer data rate of over 1000 Mbps, this is not efficiently translated into the medium access control (MAC) layer throughput due to several factors, including the long time intervals taken to recover from collisions. To address this, we use in-band full duplex operation to enable network nodes to transmit and simultaneously detect preambles, making them aware of a potential frame collision. With the detection of such a potential collision, we compel the network nodes to refrain from frame transmission in order to avoid the lengthy collision recovery time. The near-zero values of detection error and false alarm probabilities ensure the feasibility of our scheme in typical in-home BB-PLC networks. We present OMNeT++ simulation results to demonstrate the considerable increase in MAC efficiency obtained by using our proposed MPD scheme, over a traditional BB-PLC protocol.