This page has only limited features, please log in for full access.
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.
Jian Jiao; Shujie Pang; Jiayun Chu; Yongfeng Jing; Tingdi Zhao. An Improved FFIP Method Based on Mathematical Logic and SysML. Applied Sciences 2021, 11, 3534 .
AMA StyleJian Jiao, Shujie Pang, Jiayun Chu, Yongfeng Jing, Tingdi Zhao. An Improved FFIP Method Based on Mathematical Logic and SysML. Applied Sciences. 2021; 11 (8):3534.
Chicago/Turabian StyleJian Jiao; Shujie Pang; Jiayun Chu; Yongfeng Jing; Tingdi Zhao. 2021. "An Improved FFIP Method Based on Mathematical Logic and SysML." Applied Sciences 11, no. 8: 3534.
Integrated modular avionics architecture has become the most attractive idea to enhance system capability as well as improve efficiency. However, this architecture makes designing a system configuration scheme difficult because multiple resources are shared to support different functions that may have been irrelevant before. This article introduces a method to optimize the configuration scheme for an integrated modular avionics system while considering functional redundancy requirements. Not only the allocation scheme, which illustrates the relationships between functions and shared resources is taken into account, but also the resource scheme, which illustrates how many shared resources are enough to cover the functional requirements is considered as a part of the configuration scheme. Toward a generic integrated modular avionics system with functional redundancy requirements, we first give a configuration scheme model as well as its related schedulability and reliability constraints. Then, the optimization process of the configuration scheme is formalized as a combination of a constraint satisfaction problem and a constraint optimization problem. Specifically, it is decomposed into two steps including: 1) finding a resource scheme which has the lowest cost but still satisfies the constraints based on a forward checking algorithm; 2) finding its corresponding allocation scheme which distributes the targeted functions to different resources as evenly and low-coupled as possible based on the NSGA-II algorithm. Finally, an example is used to prove the effectiveness of the method. The optimization method can serve as a guide to design a configuration scheme for the integrated modular avionics system.
Jiayun Chu; Tingdi Zhao; Jian Jiao; Zhiwei Chen. Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements. IEEE Systems Journal 2020, 15, 2665 -2676.
AMA StyleJiayun Chu, Tingdi Zhao, Jian Jiao, Zhiwei Chen. Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements. IEEE Systems Journal. 2020; 15 (2):2665-2676.
Chicago/Turabian StyleJiayun Chu; Tingdi Zhao; Jian Jiao; Zhiwei Chen. 2020. "Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements." IEEE Systems Journal 15, no. 2: 2665-2676.
Based on power adding technology, the linear transformer driver (LTD) scheme is widely used to generate high-energy pulsed outputs and adopts a hierarchical and modular structure. Although robust design and fault analysis for basic components have been conducted recently, there is still a lack of enough reliability analysis studies of the whole system. Taking an actual LTD system as an object, this paper presents a system reliability model based on a load-sharing mechanism. A unified load-sharing rule structure is established and four typical rules corresponding to equal, linear, exponential, and local-equal relationships are discussed in detail while evaluating the impact of the load-sharing mechanism. Subsequently, simulation experiments are performed to illustrate the effects of different load-sharing rules as well as analyzing the system reliability in which we simultaneously propose a self-adaptive Monte Carlo simulation flow to achieve the sampling probability adjustment according to the random failure sequence. The simulation results can serve as a suggestion for further improvement of the system reliability. Moreover, the model framework and the simulation analysis method described here are universal and can be applied to evaluate the reliability of other LTD-based systems with tiny modifications.
Jiayun Chu; Tingdi Zhao; Jian Jiao; Zhiwei Chen; Fuchun Ren. Reliability Modelling and Evaluation for LTD System Based on Load-Sharing Model. Applied Sciences 2019, 9, 5528 .
AMA StyleJiayun Chu, Tingdi Zhao, Jian Jiao, Zhiwei Chen, Fuchun Ren. Reliability Modelling and Evaluation for LTD System Based on Load-Sharing Model. Applied Sciences. 2019; 9 (24):5528.
Chicago/Turabian StyleJiayun Chu; Tingdi Zhao; Jian Jiao; Zhiwei Chen; Fuchun Ren. 2019. "Reliability Modelling and Evaluation for LTD System Based on Load-Sharing Model." Applied Sciences 9, no. 24: 5528.