An Integrated Safety and Formal Analysis for Aircraft Landing System Based on SysML

The integration and interaction of multiple factors in large-scale system such as aircraft is the main reason of safety problem. For example, the aircraft can be affected by a variety of interactive factors due to changes in pilot conditions, avionics equipment and environmental state during flight. Aiming at the process of carrier aircraft landing, this paper proposes a formal modeling method based on System Modeling Language (SysML) to describe and analyze the safety of system. Firstly, the method based on SysML is detailed to model the structural and behavioural aspects, relying on the analysis of mission and/or behavior process. Then, the integrated method of SysML and Simulink, using the TGG method, is adopted to facilitate the analysis of the behavior processes. Finally, the attitude control during the aircraft landing process is taken as an example to assess the deviation and the dangerous time variation of the system in different disturbance degrees, which will help to make a better safety strategy.