Research On Software Security Analysis Method Of Complex Flight Control System Based On Requirement Model

With the widespread popularity of computer technology,the airborne control system has become a typical software-intensive system.As the real-time embedded software becomes more powerful and more complex,the proportion of system hazards caused by software failure is proportional Gradually increasing,seriously affecting flight safety,how to obtain the safety attributes of flight control system software is an urgent problem to be solved.This paper proposes a software security analysis method based on the requirements model.Based on the structured description of software requirements and the causal chain of failure and danger in the results of software security analysis,a security analysis program that meets the characteristics of flight control software is studied and formulated.This article mainly includes the following:First,a brief introduction to the basic knowledge of several software security analysis fields.Then the software requirements modeling is studied,and the model details are given,including the modeling elements,modeling content and modeling process.Then,a software security analysis method based on the requirement model is proposed,and the analysis process,analysis content,analysis rules and analysis method of the software security analysis based on the requirement model are described in detail.Finally,according to the characteristics of the flight control software of a key model aircraft,the engineering practice of the safety analysis of the flight control software based on the demand model is described.The research in this paper greatly promotes the acquisition of safety requirements of flight control system software.The analysis results can be converted into software safety requirements to improve the quality of the requirements.It also provides safety analysis for other airborne control software certain help.