Abstract
Safety analysis is one of the important means to show compliance with airworthiness requirements. The traditional safety analysis methods are significantly dependent on analysts’ skills and experiences. A model-based safety analysis approach is proposed for typical fly-by-wire (FBW) systems based on the system development model built via Simulink, by which the response of system performances can be simulated. The safety requirements of the FBW system are defined by presenting the thresholds of system performance metrics, and the effects of failure conditions on aircraft safety are determined according to the system response simulation by injecting failures or failure combinations into the Simulink model. The Monte Carlo simulation method is used to calculate the probability of unsafe conditions, whose effects are determined by the system response simulation with fault injections. Finally, a case study is used to illustrate the effectiveness and advantages of our proposed approach.