Abstract
In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths before making costly design commitments. However, the traditional FFIP has some deficiencies. In this paper, we extend the functional failure logic (FFL) in the FFIP and introduce the concept of deviation. So, FFIP can be used to analyze the failure process of the systems and make the logical analysis of functional failure easier. Based on the extended FFL, we present a new overview of the FFIP. The FFIP is improved by using mathematical logic and Systems Modeling Language (SysML). The standard expression of FFL is realized, which is conducive to the subsequent modeling and modification. Additionally, we use the failure logic analysis in the FFIP to improve the state machine diagram (SMD) in SysML. Finally, the improved FFIP method is used to analyze the fault propagation paths of the system and Simulink is used for simulation. The fault tree is generated according to the simulation results, the minimum cut set is calculated, and the key failure parts of the system are obtained.
Highlights
We study the Functional Failure Identification and Propagation (FFIP), a graphical evaluation method, which is composed of structural models, functional models, behavior rules, functional failure logic (FFL) analysis and failure simulation
We introduce mathematical logic and Systems Modeling Language (SysML) to extend the FFIP method from two aspects: the applicable stage of the method and the formation of standardized expression
To improve the deficiency that the FFIP method has, namely, that it is mainly suitable for the early design stage of the system, this paper extends the FFL in FFIP and introduces the concept of deviation
Summary
We study the Functional Failure Identification and Propagation (FFIP), a graphical evaluation method, which is composed of structural models, functional models, behavior rules, functional failure logic (FFL) analysis and failure simulation. By using this method, a designer can analyze the system function effectively, realize the path of failure propagation, and reduce the influence of human subjectivity through simulation [17]. We combine SysML with the whole modeling process of FFIP and propose an integral modeling method under the MBSA framework It includes building the structure model, function model and behavior model in FFIP with SysML. By calculating the minimum cut set, the key failure location is obtained, and a quantitative probability-based analysis of the FFIP method can be achieved
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
