[发明专利]基于扩展UML模型的安全苛求系统的故障树生成方法

权利要求书

1.一种基于扩展UML模型的安全苛求系统的故障树生成方法，其特征在于，包括：

构造安全苛求系统的扩展UML模型；

从所述扩展UML模型中提取安全苛求系统的结构关系信息，所述结构关系信息包括类图中的关联关系和基数信息；

基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。

2.根据权利要求1所述的方法，其特征在于，所述的构造安全苛求系统的扩展UML模型，包括：

使用类图对安全苛求系统的结构关系进行逻辑建模，安全苛求系统中的每个组件看作是类中的一个带有属性和操作的例子，使用构造型来扩展UML对安全苛求系统故障描述的语义，所述构造型用于建立安全苛求系统的故障树逻辑门。

3.根据权利要求2所述的方法，其特征在于，所述的使用类图对安全苛求系统的结构关系进行逻辑建模，安全苛求系统中的每个组件看作是类中的一个带有属性和操作的例子，包括：

使用类图对安全苛求系统的结构关系进行逻辑建模，所述类图允许设计者指明类的基数，类是具有相似结构、行为和关系的一组对象的描述符，基数描述了此类中存在的相似对象的数目，组件实例的数目存在于安全苛求系统运行时的类结构体本身；

类的关系的扩展方法如下：关联关系用于表示系统组件之间的信息交互，关联的方向代表着组件之间信息交互的方向；依赖关系用带箭头的虚线表示，箭头方向由依赖的一方指向被依赖的一方；组合关系用带实心菱形的实线表示，菱形指向整体，用于表示某大型平台与该平台下的子系统之间的关系。

4.根据权利要求3所述的方法，其特征在于，所述的使用构造型来扩展UML对安全苛求系统故障描述的语义，所述构造型用于建立安全苛求系统的故障树逻辑门，包括：

使用构造型来扩展UML对安全苛求系统故障描述的语义，表1表示了UML模型中的元素、关联和构造型语义与动态故障树之间的语义对照关系；

表1

在上述表1中，用<<propagates error to>>语义来表示差错传播路径，<<propagateserror to>>依赖于类图中的关联关系，是类图中关联关系的构造型，同关联的方向有关；

备用组件为主组件提供冗余功能，主备组件都被归为一类，<<coldSpare>>、<<hotSpare>>和<<warmSpare>>构造型来分别表明该类的冷备、热备和温备；

<<substitutes for>>用来描述不同组件之间的冷备关系，与依赖关系一起使用，箭头从冷备组件指向主要主件；

<<Runs On>>构造型用来表明软硬件之间的映射关系，构造型<<Runs On>>与依赖关系一起使用。