基于无关性覆盖模型的动态故障树可靠性分析方法技术

本发明专利技术涉及一种基于无关性覆盖模型的动态故障树可靠性分析方法，包括如下步骤：S1、利用基于时序结构函数的代数框架对动态故障树进行解析，从而得到动态故障树的基于覆盖失效事件的代数结构函数；S2、针对代数结构函数，利用改进后的最小无关触发的计算方法得出每个变量的最小无关触发；S3、根据步骤S2中的每个变量的最小无关触发，获取动态故障树基本事件关于未覆盖失效的限制表达式；S4、根据步骤S2中的代数结构函数和步骤S3中的未覆盖失效的表达式，获取基于代数结构函数的系统无关性覆盖模型的表达式。本发明专利技术扩展了无关性模型在动态系统中的应用，适用于任意失效时间分布的系统和静态故障树，具有良好的普适性。具有良好的普适性。具有良好的普适性。

【技术实现步骤摘要】
基于无关性覆盖模型的动态故障树可靠性分析方法


[0001]本专利技术涉及软件可靠性工程领域，更具体地说，涉及一种基于无关性覆盖模型的动态故障树可靠性分析方法。

技术介绍

[0002]故障树是一种经典的系统可靠性分析模型，常用于大型安全关键领域的可靠性分析。然而随着日益复杂的系统结构，特别是动态系统，传统的静态故障树已经无法满足可靠性分析需求。
[0003]在容错系统中，容错机制假定可以对组件故障进行完美地识别、定位、隔离与恢复。这种完美的覆盖方式成为完美覆盖模型。然而，实际上并非所有的组件故障都能够完美地经过容错机制。那么，这些未能被容错机制识别、隔离或恢复的组件故障可以在系统内自由的传播并导致系统直接失效。所以，考虑这种组件未覆盖故障的模型成为不完全覆盖模型。实际上，在系统的运行中，可能会出现由于某个组件故障导致其他组件成为无关组件，这种无关组件的覆盖失效在系统结构上与系统失效并无关系，但它的未覆盖失效却还能导致系统失效。因此，一种考虑组件无关性的不完全覆盖模型被提出，称为无关性覆盖模型。在无关性覆盖模型中，一旦某个组件被触发为无关组本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于无关性覆盖模型的动态故障树可靠性分析方法，其特征在于，包括如下步骤：S1、利用基于时序结构函数的代数框架对动态故障树进行解析，从而得到动态故障树的基于覆盖失效事件的代数结构函数S2、针对代数结构函数，利用改进后的最小无关触发的计算方法得出每个变量的最小无关触发；S3、根据步骤S2中的每个变量的最小无关触发，获取动态故障树基本事件关于未覆盖失效的限制表达式S4、根据步骤S2中的代数结构函数和步骤S3中的未覆盖失效的表达式，获取基于代数结构函数的系统无关性覆盖模型的表达式，其通用表达式为：S5、根据步骤S4中的基于代数结构函数的系统无关性覆盖模型的表达式，利用基于不相交积和的方法获取基于代数结构函数的不相交积和，从而进行动态故障树顶事件概率的计算。2.根据权利要求1所述的基于无关性覆盖模型的动态故障树可靠性分析方法，其特征在于，所述步骤1中利用基于时序结构的代数框架解析动态门，是指引用框架中的时序运算符表示事件间的时序依赖关系“之前”，“同时”，此时的基本事件均为时间函数，即时序变量，此时的动态故障树表示为一个基于覆盖失效的代数结构函数。3.根据权利要求1所述的基于无关性覆盖模型的动态故障树可靠性分析方法，其特征在于，所述步骤S2中基于代数结构函数的最小无关触发的计算主要依靠如下方法：首先，令为表示系统失...

【专利技术属性】
技术研发人员：向剑文，周四维，叶璐瑶，熊盛武，
申请(专利权)人：武汉理工大学，
类型：发明
国别省市：