安全苛求系统的扩展UML类图模型的故障树生成方法

摘要

本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括：构造安全苛求系统的UML类图模型，UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系，使用了构造型来扩展模型元素语义；将UML类图模型保存为设定格式的文件，按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析，提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息，基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去，实现了系统设计模型与系统安全模型之间的自动转换，可以有效地克服安全苛求系统的设计型故障。