Security And Safety Threats Detection For Unmanned Aerial System Based On Runtime Verification

The defects of the software and hardware in unmanned aerial system and external malicious attack will pose a great threat to the security and safety of UAS.Due to the complex running environment of UAS,many factors are difficult to predict accurately in the development process,therefore,it is of great significance to adopt an effective runtime security and safety guarantee mechanism.This paper proposes a UAS security and safetythreat detection method based on runtime verification.Firstly,afteranalyzinga variety of securityand safety threats that UAS may encounter,we describe them in Discrete-Time MTL and presentthe corresponding UAS-DL languageto describe the security and safety monitoring specification.Then we propose an automatic generation algorithm of security and safety threats monitor based on the alternatingautomaton and implement security and safety monitoring of multi-UAS by parameterization method.In order to improve the accuracy of the detection,we further study the method of combining runtime verification with Bayesian network inference.The experiment was carried out with the actual UAS development simulation platform Ardupilot,and monitor are deployed on the Field-Programmable Gate Array(FPGA)hardware independently to avoid excessive usage of UAS computing resources.Experimental results show that the proposed method can effectively detect the security and safety threats of UAS.Combined with the latest research results of runtime verification and the characteristics of UAS,we mean to solve the problems encountered in the project in thesis.The main work is as follows:1.We propose the Discrete-Time MTL to specify the safety and security properties of unmanned aeria system,and design the UAS-DL to describe the property and related monitoring events and states.2.The automatic generation of UAS monitors is realized by using the algorithm based on alternating automata to generate the monitor from the monitoring specification,and a method based on path slicing is studied to monitor the parameters property of the UAS;3.The method of combining runtime verification with Bayesian network based fault diagnosis is studied to improve the accuracy of safety and security threat detection.4.In order to reduce the resource occupation and improve the monitoring efficiency,the FPGA hardware implementation monitor is used,and the experiment and analysis are carried out in the widely used UAV development and simulation platform Ardupilot.