Chu Changyong, Yang Weikang, Chen Yajun
School of Mechanical Engineering, Hangzhou Dianzi University Information Engineering College, Hangzhou 311305, China.
State Key Laboratory of Digital Manufacturing Equipment and Technology, Huazhong University of Science and Technology, Wuhan 430074, China.
Sensors (Basel). 2024 Sep 18;24(18):6021. doi: 10.3390/s24186021.
As embedded systems become increasingly complex, traditional reliability analysis methods based on text alone are no longer adequate for meeting the requirements of rapid and accurate quantitative analysis of system reliability. This article proposes a method for automatically generating and quantitatively analyzing dynamic fault trees based on an improved system model with consideration for temporal characteristics and redundancy. Firstly, an "anti-semantic" approach is employed to automatically explore the generation of fault modes and effects analysis (FMEA) from SysML models. The evaluation results are used to promptly modify the system design to meet requirements. Secondly, the Profile extension mechanism is used to expand the SysML block definition diagram, enabling it to describe fault semantics. This is combined with SysML activity diagrams to generate dynamic fault trees using traversal algorithms. Subsequently, parametric diagrams are employed to represent the operational rules of logic gates in the fault tree. The quantitative analysis of dynamic fault trees based on probabilistic models is conducted within the internal block diagram of SysML. Finally, through the design and simulation of the power battery management system, the failure probability of the top event was obtained to be 0.11981. This verifies that the design of the battery management system meets safety requirements and demonstrates the feasibility of the method.
随着嵌入式系统日益复杂，仅基于文本的传统可靠性分析方法已不足以满足对系统可靠性进行快速准确的定量分析的要求。本文提出了一种基于改进的系统模型自动生成并定量分析动态故障树的方法，该模型考虑了时间特性和冗余性。首先，采用“反语义”方法从SysML模型中自动探索故障模式与影响分析（FMEA）的生成。评估结果用于及时修改系统设计以满足要求。其次，使用Profile扩展机制扩展SysML块定义图，使其能够描述故障语义。这与SysML活动图相结合，使用遍历算法生成动态故障树。随后，使用参数图来表示故障树中逻辑门的操作规则。基于概率模型的动态故障树定量分析在SysML的内部块图中进行。最后，通过对动力电池管理系统的设计与仿真，得出顶事件的失效概率为0.11981。这验证了电池管理系统的设计满足安全要求，并证明了该方法的可行性。
