一种状态事件故障树的时间特性分析方法

发布时间：2018-04-05 19:38

本文选题：状态事件故障树　切入点：交互马尔可夫链　出处：《软件学报》2015年02期

【摘要】：状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
[Abstract]:State event fault tree is a modeling technique suitable for describing failure causality chain of component-based embedded system. The top level event describes the result of failure.The analysis of the average time of the top level event is an effective method to obtain the average failure time parameters of the system, which can provide support for the security evaluation of the system.Due to the lack of strict semantics of state event fault tree, it is necessary to describe it formally before quantitative analysis can be carried out.In this paper, a method for analyzing the time characteristics of state event fault tree based on interactive Markov chain is proposed.Firstly, the interactive action of interactive Markov chain is refined, and the interface interactive Markov chain model is established. Based on the model, the components and logic gates of the state event fault tree are described in formal semantics.The formal semantic model of the whole state event fault tree is obtained by combining the formal semantic model of component and logic gate in parallel, and the state space is reduced by weak mutual simulation in this process.Based on the formal semantics of the state event fault tree, the calculation method of the average time of the top level event is given. Finally, the analysis of the time characteristic of the state event fault tree of the aircraft landing radar control system and the sprinkler fire prevention system is given.A new method is provided for the analysis of failure time characteristics of component systems.
【作者单位】：南京航空航天大学计算机科学与技术学院;计算机软件新技术国家重点实验室(南京大学);南京航空航天大学航天学院;
【基金】：国家自然科学基金(61272083,61170043) 回国留学人员科研启动基金(SEM 2012) 中央高校基本科研业务费专项资金(CXZZ11_0218,NS2012129) 江苏省普通高校研究生科研创新计划(CXZZ11_0218)
【分类号】：TP311.5;V328

【共引文献】