PTA based availability analysis of the effects of blind scrubbing of UAV-UAV communication using SRAM based FPGAs

This paper computes the worst-case failure for serial UAV communication components based on the node technology and Linear Energy Transfer for the target FPGA. Furthermore, our framework implements priced timed automata models to execute the blind scrubbing technique and analyze UAV-UAV communication availability to obtain the optimal scrubbing intervals and scrubbing durations for Virtex-II and UltraScale Xilinx FPGA models.