买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：北京航空航天大学

摘要：本发明涉及基于模型的系统工程领域，提出了一种基于SysML模型自动生成故障树的方法，包括如下步骤：步骤S1、基于SysML模型构建系统故障树框架，确定故障树中的故障事件名称、故障事件类型以及输入输出关系，故障树框架的构建方法采用循环迭代的方式进行；步骤S2、基于SysML系统故障扩展模型生成“与”逻辑门，构建故障树，在故障树框架的基础上增加中间事件和“与”逻辑门，进而构建出完整的故障树；最后，通过注入“与”逻辑门输入所对应的故障事件对逻辑门的正确性进行验证，保证故障树的完整性和准确性。实现生成基于SysML模型的更加自动化、更加全面的系统故障树，提升了故障树构建的效率。

主权项：1.一种基于SysML模型自动生成系统故障树的方法，其特征在于，具体包括以下步骤：步骤S1、基于SysML模型构建系统故障树框架，首先，确定故障树中的故障事件名称、故障事件类型以及输入输出关系，故障树框架的构建方法采用循环迭代的方式进行，通过对系统的内部模块图和时序图中所包含的系统结构进行遍历，获得所有与所述顶事件存在直接或者间接关系的故障事件以及它们之间的输入输出关系，其中，对时序图对系统结构进行的遍历为对系统时序图进行扩展建模并遍历以实现在当前模块故障树框架构建完成后寻找下一模块；对内部模块图的系统结构进行遍历为对与给定顶事件有关系的模块的输入故障事件和输出故障事件进行遍历；然后后，在默认所有输入故障事件和输出故障事件之间的逻辑关系为“或”逻辑门的基础上构建所述故障树框架；步骤S2、基于SysML系统故障扩展模型生成“与”逻辑门，构建故障树：对系统内各个部件的正常状态机图进行故障逻辑扩展建模，构建综合正常状态与故障状态的系统故障扩展模型，通过执行故障扩展模型，可以得到相应故障在系统中的实际故障路径，通过对系统故障树的分析，可得到该故障在故障树框架中的结构故障路径，通过对所述系统故障扩展模型的底事件的实际故障路径和结构故障路径进行遍历，生成中间事件和“与”逻辑门，在故障树框架的基础上增加中间事件和“与”逻辑门，进而构建出完整的故障树；最后，通过注入“与”逻辑门输入所对应的故障事件对逻辑门的正确性进行验证，保证故障树的完整性和准确性。

全文数据：

权利要求：

百度查询： 北京航空航天大学 一种基于SysML模型自动生成故障树的方法