Automatic Generation Of Secure Control Program For Unmanned System

Complex Unmanned Systems based on artificial intelligence,such as Unmanned Aerial Systems,Unmanned Ground Vehicles and robot,deeply integrates the technologies of environmental awareness,data analysis,feedback control and heterogeneousnetwork interconnection,has already been widely used in different fields.In recent years,with the rapid development of military information construction,these systems are becoming more and more popular in the army,and will be the key to the military development.With the rapid development of Unmanned Systems,the security threats are also increasing,and the attack is easier and easier,which has been unable to meet people’s demand for software security.Due to the unpredictable behaviors of the uncertain environment,the complex logic of the software system itself and the frequent interaction of data and information,the security of the unmanned system involves software security,hardware security,information security and other fields.Traditional passive vulnerability detection and protection technologies have been Not enough to completely guard against complex and variable external attacks.Reactive program synthesis method can automatically generate logic controllers for unmanned systems,but there is still no specific theoretical research and practical application in generating safe and reliable controllers based on external attack threat scenarios of unmanned systems.In this paper,we study various security threats of Unmanned Systems,especially Unmanned Aerial Systems,and summarize 13 typical security threat about hardware,software and data transmission fields.And in this paper we propose a patterns framework for secure controlling specifications,and summarize the general security specifications based on Linear Temporal Logic,which improves the efficiency and accuracy of formal specifications.Based on the secure controlling specifications,we propose a game-based automatic generation of secure controllers for Unmanned Systems.By modeling the multi-modules of Unmanned System,solving the game structure,extracting the winning strategies and integrating the automatan,we can synthsize the specific secure controller according to the attack scenarios.Finally,we design and implement the generation and simulation platform for the secure control program.Based on the simulation platforms of LTLMo P and Ardupilot,we can generate the secure control program automatically.With the secure control program,we implement the secure control process in the attack scenarios of GPS attack,malware injection and abnormal commands.The experimental results show that the mehod we proposed in this paper can always ensure the Unmanned System runs safely,which improves the software security of Unmanned Systems effectively.