一种基于UML类图和活动图的故障树生成方法

摘要：

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法.在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素.基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树.经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径.

关键词：UML模型、活动图模型、类图模型、故障树

所属期刊栏目：43

分类号：TP391.9(计算技术、计算机技术)

资助基金：国防科工局十二五重大基础科研项目c0420110005,NS2013091

在线出版日期：2016-10-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：180-185