An Improved Model of Functional Failure Identification and Propagation Based on Mathematical Logic

SUMMARY & CONCL USIONSFunctional Failure Identification and Propagation (FFIP) is a graphical processing technology based on the mapping between components, functions, and system behaviors. It supports safety analysis of system failure propagation before making high-cost design commitments.This paper mainly makes contributions in the following three aspects:•In order to solve the problem of unclear expression of functional failure logic (FFL) in FFIP, mathematical logic is used to improve the FFIP method. This is not only conducive to the establishment of Simulink simulation model, but also convenient for communication and modification between experts in different fields.•In this paper, the transformation method from mathematical logic to FFL is given, and a new expression method of FFL is given.•Using Simulink software to establish the model and fault simulation. Taking the brake system in the appendix of SAE ARP4761 as an example, the failure propagation path of the system is given, and the key fault components of the system are determined.