Research On STPA-Based Safety Analysis Of Electronic Checklist Of Civil Aircraft

The electronic checklist system is used to ensure that flight crews can configure the aircraft according to the checklist during any flight phase of the aircraft and is the important barrier to flight safety.The safety of the electronic checklist system is related to the ability of the entire aircraft to fly normally.Pilots' procedural errors,especially the completion of checklists,are responsible for a large number of aviation incidents and accidents.Therefore,in recent years the safety of the electronic checklist system has been given high priority.The safety requirements phase of the electronic checklist system is the most important phase in the life of the electronic checklist,but the factors influencing the safe operation of the electronic checklist system include the interaction between the external system and the electronic checklist system,the change of the environment,and the complex interaction between the internal subsystems of the electronic checklist system.These changes in the internal and external environment have greatly increased the difficulty in the hazard analysis of the ECL system,which has brought great challenges to the safety analysis of the ECL system,so this requires a scientifically valid method of hazard analysis to analyze safety requirements.To this end,this paper presents a formal method based on system theory process analysis of electronic checklist system safety analysis,and completed the following work:First of all,in view of the cost and time efficiency of complex system safety analysis,this paper comparatively analyzed different accident models and hazard analysis methods to evaluate the advantages and disadvantages of accident models and analysis methods respectively.Secondly,the system theory process analysis method is improved,and the formal analysis method is used to define the analysis model of the system,including system hazard,unsafe control actions and safety constraints,and the corresponding safety constraints can be automatically generated according to the unsafe control behavior analysis of the root causes of unsafe control actions;Finally,the formalized analysis method is applied to the electronic checklist system to analyze the safety of the electronic checklist system and to construct the control structure between the electronic checklist system and the external system and the internal components of the electronic checklist system.Identify the unsafe control actions of the system,and get the system safety constraints and requirements,and find out the root cause of unsafe control actions of the system.The control requirements of the system are verified to ensure the consistency and accuracy of the system requirements,and the results are compared with other research achievements.