###
Journal of Software:2015.26(2):427-446

一种状态事件故障树的时间特性分析方法
徐丙凤,黄志球,胡军,魏欧,李伟湋
(南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016;南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016 ;计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023;南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016 ;南京航空航天大学 航天学院, 江苏 南京 210016)
Time Property Analysis Method for State/Event Fault Tree
XU Bing-Feng,HUANG Zhi-Qiu,HU Jun,WEI Ou,LI Wei-Wei
(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China ;State Key Laboratory for Novel Software Technology Nanjing University, Nanjing 210023, China;College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China ;College of Astronautics, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2762   Download 2539
Received:April 21, 2013    Revised:July 09, 2013
> 中文摘要: 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑