摘要
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
State/Event Fault Tree （SEFI？） is a modeling technique for describing the causal chains which lead to failure in complex systems. One important way for capturing the safety parameters of systems is quantitatively analyzing the probabilistic char- acteristic of system failures.As lack of precise semantics, SEFF can only be quantitatively analyzed after its semantics being precise- ly described. In this paper, we present a quantitative analysis method of SEFF based on Interactive Markov Chain （IMC）. Firstly, In- terface Interactive Markov Chain （Interface-IMC） is proposed based on refining the interactive action of IMC into input and output actions. Secondly, the precise semantics of SEFF is described based on Interface-IMC. Thirdly, a quantitative analysis method is pre- sented based on formal semantic model of SEFF. Finally, the method in this paper is illustrated by modeling and quanttafively analyzing SEFF of aircraft landing gear system.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
Acta Electronica Sinica
基金
江苏省研究生培养创新工程(No.CXZZ11-0218)
中央高校基本科研业务费专项资金(No.CXZZ11-0218
No.NS2012129)
国家自然科学基金(No.61272083
No.61170043
No.61100034
No.61262002)
回国留学人员科研启动基金(2012)
