计算机科学 ›› 2016, Vol. 43 ›› Issue (7): 180-185.doi: 10.11896/j.issn.1002-137X.2016.07.033
徐慧,燕雪峰,周勇
XU Hui, YAN Xue-feng and ZHOU Yong
摘要： 针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。
| [1] Xu Bing-feng,Huang Zhi-qiu,Hu Jun,et al.Time Property Analysis Method for State/Event Fault Tree[J].Journal of Software,2015,6(2):427-446(in Chinese) 徐丙凤,黄志球,胡军,等.一种状态事件故障树的时间特性分析方法[J].软件学报,2015,6(2):427-446 [2] Zhang Hong-lin,Zhang Chun-yuan,Liu Dong.An Identification Method of Independent Module Applying to Dynamic Fault Tree with Interdependent Basic Events and Repeated Events[J].Chinese Journal of Computers,2012,35(2):229-243(in Chinese) 张红林,张春元,刘东.一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法[J].计算机学报,2012,35(2):229-243 [3] Nguyen T P K,Beugin J,Marais J.Method for evaluating an extended Fault Tree to analyse the dependability of complex systems:Application to a satellite-based railway system[J].Reliability Engineering & System Safety,2015,133:300-313 [4] Bechta Dugan J,Sullivan K J,Coppit D.Developing a low-costhigh-quality software tool for dynamic fault-tree analysis[J].IEEE Transactions on Reliability,2000,49(1):49-59 [5] Domis D,Trapp M.Integrating safety analyses and component-based design[M]∥Computer Safety,Reliability,and Security.Springer Berlin Heidelberg,2008:58-71 [6] Xiang J,Yanoo K,Maeno Y,et al.Automatic synthesis of static fault trees from system models[C]∥2011 Fifth International Conference on Secure Software Integration and Reliability Improvement (SSIRI).IEEE,2011:127-136 [7] Lauer C,German R,Pollmer J.Fault tree synthesis from UML models for reliability analysis at early design stages[J].Acm Sigsoft Software Engineering Notes,2011,36(1):1-8 [8] Hu W,Deng Z,Hong Y.A method of FTA base on UML use case diagram[C]∥2011 9th International Conference on IEEE Reliability,Maintainability and Safety (ICRMS).2011:757-759 [9] Harper D C.Fault Tree Analysis of UML Designs[J].Technometrics,2012,19(3):346-347 [10] Tiwari S,Gupta A.An Approach to Generate Safety Validation Test Cases from UML Activity Diagram[C]∥2013 20th Asia-Pacific Software Engineering Conference.IEEE,2013:189-198 [11] Zhao Z.UML Model to Fault Tree Model Transformation forDependability Analysis[D].Carleton University Ottawa,2014 [12] Li S,Li X.Study on generation of fault trees from Altarica mo-dels[J].Procedia Engineering,2014,80:140-152 |
| No related articles found! |
|
||
首页