TRS is a safety-critical aero-engine system. In response to the inadequacies of conventional safety analysis techniques in addressing the complexities associated with multilevel coupling and cross-linking of multiple systems concerning system interaction and closed-loop design specifications, this study proposes a method that integrates STPA and MBSA. By establishing a whole-process analysis framework from system requirement capture to verification, an overall system model was constructed through the use of SysML to reveal the architectural principles. The STPA method was employed to define 4 types of system-level losses (accidents) and 8 types of system-level hazards, construct a TRS feedback control structure model, identify 11 unsafe control actions (UCAs), derive causal scenarios, and assign respective safety levels. Using the model checking tool new symbolic model verifier (NuSMV), fault and nominal models were constructed to verify critical system safety properties. The results demonstrate that the proposed model possesses logical integrity and correctness, and indicate that the probability of "Thrust Reverser Non-Command Open in Air," as determined from minimal cut set, is 1.95×10-10 per flight hour, thereby meeting the safety requirement of a failure probability of less than 10-9 per flight hour.
| 科 Family | 属数 Number of genus | 种数 Number of species | 占总种数比例 Percentage of total species (%) | 属 Genus | 种数 Number of species | 占总种数比例 Percentage of total species (%) |
|---|---|---|---|---|---|---|
| 鹅膏菌科Amanitaceae | 2 | 11 | 5.26 | 鹅膏菌属 Amanita | 10 | 4.78 |
| 小菇科 Mycenaceae | 2 | 12 | 5.74 | 丝盖伞属 Inocybe | 5 | 2.39 |
| 多孔菌科 Polyporaceae | 8 | 14 | 6.70 | 蜡蘑属 Laccaria | 5 | 2.39 |
| 红菇科 Russulaceae | 3 | 23 | 11.00 | 小皮伞属 Marasmius | 6 | 2.87 |
| 小菇属 Mycena | 11 | 5.26 | ||||
| 光柄菇属 Pluteus | 5 | 2.39 | ||||
| 红菇属 Russula | 17 | 8.13 | ||||
| 栓菌属 Trametes | 5 | 2.39 |