计算机科学 ›› 2017, Vol. 44 ›› Issue (12): 169-174.doi: 10.11896/j.issn.1002-137X.2017.12.032
范亚琼,陈海燕
FAN Ya-qiong and CHEN Hai-yan
摘要： 针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果 验证了该方法的可行性与稳定性； 同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。
| [1] KAISER B.State Event trees:A safety and reliability analysis techniqure for software controlled systems[D].Kaiser-slautern:University Kaiserslautern,2007. [2] KAISER B,GRAMLICH C.State-Event-Fault-Trees-A Safety Analysis Model for Software Controlled Systems[J].Reliability Engineering and System Safety,2007,2(11):1521-1537. [3] GUCK D,HAN T,KATOEN J P,et al.Quantitative timedanalysis of interactive markov chains[M]∥NASA Formal Methods.Springer Berlin Heidelberg,2012:8-23. [4] XU B F.Research on security analysis method of componentbased embedded software [D].Nanjing:Nanjing University of Aeronautics and Astronautics,2014.(in Chinese) 徐丙凤.构件化嵌入式软件安全性分析方法研究[D].南京:南京航空航天大学,2014. [5] ROTH M,LIGGESMEYER P.Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems[C]∥IEEE International Symposium on Software Reliability Engineering Workshops.2013:353-358. [6] XU B F,HUANG Z Q,HU J,et al.A state event fault treequantitative analysis method [J].Chinese Journal of Electronics,2013,1(8):1480-1486.(in Chinese) 徐丙凤,黄志球,胡军,等一种状态事件故障树的定量分析方法[J].电子学报,2013,1(8):1480-1486. [7] LIU W B.Study on the dynamic fault tree analysis method based on modular idea [D].Nanjing:Nanjing University of Science and Technology,2009.(in Chinese) 刘文彬.基于模块化思想的动态故障树分析方法研究[D].南京:南京理工大学,2009. [8] ROTH M,HARTOYO A,LIGGESMEYER P.Efficient reacha-bility graph development for qualitive analysis of state/event fault trees[C]∥IEEE International Symposium on Software Reliability Engineering Workshops.2015:144-151. [9] ROTH M,LIGGESMEYER P.Sequential Logic for State/Event Fault Trees:A Methodology to Support the Failure Modeling of Cyber Physical Systems[M]∥Computer Safety,Reliability,and Security.2015:121-132. [10] ROTH M,LIGGESMEYER P.Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees.http://hal.archives-ouvertes.fr/hal-00848640. [11] WALKER M D.Pandora:A Logic for the Qualitative Analysis of Temporal Fault Trees[D].University of Hall,UK,2009. [12] TANG Z,DUGAN J B.Minimal cut set/sequence generation for dynamic fault trees[C]∥Proccedings of the Annual Reliability and Maintainability Symposium (RAMS).Charlottesville,USA,2004:207-213. [13] LIU D.Key technology research on reliability design and analysis of spatial information processing system [D].Changsha:National Defense Science and Technology University,2008.(in Chinese) 刘东.空间信息处理系统可靠性设计与分析关键技术研究[D].长沙:国防科学技术大学,2008. [14] LI Y F.New method of dynamic fault tree analysis of complex system and its application [D].Chengdu:Electronic Science and Technology University,2013.(in Chinese) 李彦锋.复杂系统动态故障树分析的新方法及其应用研究[D].成都:电子科技大学,2013. [15] QIN Q N.The complex system reliability modeling,analysis and comprehensive evaluation method of [D].Beijing:Beijing Jiaotong University,2012.(in Chinese) 覃庆努.复杂系统可靠性建模、分析和综合评价方法研究[D].北京:北京交通大学,2012. [16] GUO Y.Research on reliability evaluation method of software system based on component [D].Harbin:Harbin Institute of Technology,2013.(in Chinese) 郭勇.基于构件的软件系统的可靠性评估方法研究[D].哈尔滨:哈尔滨工业大学,2013. |
| No related articles found! |
|
||
首页