 |
International Society of Science and Applied Technologies |
| Safety Analysis Case of High Power Nonlinear Electrical Load System Based on STPA | ||||
| Author | Jingtao Wu
|
|||
| Co-Author(s) | Shuli Gong; Kuangming Pan; Wenchen Li; Hongjuan Ge
|
|||
| Abstract | As an integral component of the aircraft's electrical system, High-power nonlinear loads necessitate meticulous safety analysis. Conventional techniques, such as fault tree analysis, often prioritize component independence, with little consideration given to the safety of component interactions within the system. The article places emphasis on high-power nonlinear loads and employs the STPA method to discern perilous control behaviors and proceed to validate and simulate scenarios utilizing the UPPAAL formal verification tool. The outcomes obtained unequivocally affirm the efficacy of this approach in identifying safety concerns arising from component interactions.
|
|||
| Keywords | High-power nonlinear loads, perilous control behaviors, formal verification, component interactions | |||
| Article #: RQD2024-288 | ||||
Proceedings of 29th ISSAT International Conference on Reliability & Quality in Design |