Multi-directional Molecular Communication Among Nanomachines: Modeling and Verification
摘要
In this study, we introduce and verify a novel multi-directional molecular communication model for nanomachines. Inspired by natural systems, this multi-directional model allows nanomachines to transmit and receive molecular concentrations in a networked environment. Each nanomachine operates in specific time intervals, aligning with its local clock. It alternates between sending and receiving modes. During each interval, it receives a minimum amount of molecules, and when transmitting, it does so with a probability-based approach that accounts for potential failures, aiming to improve overall reliability. Key features of the model include probabilistic transmission modes, relay nodes, and the potential for communication failure due to jamming. The communication channel (relay nodes) is structured to emulate interconnected biological sites, replicating the pathways of signaling molecules. Drawing inspiration from calcium signaling, this design is modeled after the principles of the Abelian Sandpile Model. We present our model using the PRISM model checker and conduct experiments on networks with varying numbers of channel nodes. Our verification process examines the success and failure of both transmission and reception processes under different scenarios. We demonstrate that the probability of failure in sending and receiving is influenced by the number of nanomachines and their ability to transmit to multiple neighbors within a time slot. The results shed light on the challenges and opportunities of multi-directional molecular communication, providing insights into the reliability and efficiency of communication in nanoscale networks.