Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking

Reliable data communication is fundamental for the proper functioning of autonomous Unmanned Aerial Vehicles (UAVs). Different factors such as transmission power and antenna gain can affect the reliability of a communication protocol. This paper proposes a statistical model checking framework to evaluate the signal strength and availability of a communication device in the presence of single event upsets (SEUs). Our results may provide insights on the effect of different UAV components and specifications, like SEU rate, on the communication failure. The replacement negotiation scenario built on the Micro Aerial vehicle link (MAVlink) protocol and Bluetooth telemetry specifications such as receiver sensitivity threshold, frequency operation, and maximum transmission power are used to demonstrate the framework's applicability. Our results indicate that the expected communication reliability is higher than 90% when the transmission power is at least 3.2 dBm.