主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
徐丙凤,黄志球,胡军,魏欧,李伟湋.一种状态事件故障树的时间特性分析方法.软件学报,2015,26(2):427-446
一种状态事件故障树的时间特性分析方法
Time Property Analysis Method for State/Event Fault Tree
投稿时间:2013-04-21  修订日期:2013-07-09
DOI:10.13328/j.cnki.jos.004562
中文关键词:  状态事件故障树  交互马尔可夫链  平均时间分析  形式化方法
英文关键词:state/event fault tree  interactive Markov chain  mean time analysis  formal method
基金项目:国家自然科学基金(61272083, 61170043); 回国留学人员科研启动基金(SEM 2012); 中央高校基本科研业务费专项资金(CXZZ11_0218, NS2012129); 江苏省普通高校研究生科研创新计划(CXZZ11_0218)
作者单位E-mail
徐丙凤 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016 xubingfeng@nuaa.edu.cn 
黄志球 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016  
胡军 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016
计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023 
 
魏欧 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016  
李伟湋 南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016
南京航空航天大学 航天学院, 江苏 南京 210016 
 
摘要点击次数: 2970
全文下载次数: 2682
中文摘要:
      状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
英文摘要:
      State/Event fault tree (SEFT) is a modeling technique for describing the causal chains which lead to failure in component-based embedded systems, and the top event of SEFT describes the result of the failure. One important way for capturing the mean time parameter of system failure is to quantitatively analyze the mean time of the top event occurrence, which provides support for system safety evaluation. However, it is necessary to formally describe SEFT semantics in order to quantitatively analyze the time property. In this paper, a time property analysis method for SEFT based on interactive Markov chain (IMC) is presented. Firstly, interface interactive Markov chain (Interface-IMC) is proposed based on refining the interactive action of IMC. Secondly, semantics of components and logic gates in SEFT are formally described by Interface-IMC. Thirdly, the semantics of SEFT is obtained by composing all the Interface-IMCs generated in the above steps. During this process, weak bisimilarity technique is applied to reduce state space. Then, a quantitative time analysis method is presented based on the formal semantic model of SEFT. Finally, the time analysis processes for the SEFT of aircraft radar landing control system and sprinkler system are illustrated by the proposed method. The method provides a new solution for analyzing time properties of component-based system failure.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利