[发明专利]一种动态故障树生成方法在审
| 申请号： | 201710735865.6 | 申请日： | 2017-08-24 |
| 公开（公告）号： | CN107590320A | 公开（公告）日： | 2018-01-16 |
| 发明（设计）人： | 罗怡桂;杨啸;李加鹏;熊璐 | 申请（专利权）人： | 同济大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 上海科盛知识产权代理有限公司31225 | 代理人： | 宣慧兰 |
| 地址： | 200092 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种动态故障树生成方法，该方法包括如下步骤(1)建立系统运行状态模型以及LTL形式的安全性需求P，P为一系列子安全需求的逻辑组合；(2)以为顶事件，子安全需求逻辑非运算为中间事件，根据逻辑关系使用逻辑门连接，表示逻辑非；(3)采用系统运行状态模型对子安全需求进行检测，若系统运行状态模型违反子安全需求则对应输出违反对应子安全需求的系统状态路径；(4)根据子安全需求逻辑非运算的LTL公式以及违反子安全需求的系统状态路径生成动态故障树。与现有技术相比，本发明故障树生成的效率高，故障树准确度高。 | ||
| 搜索关键词： | 一种 动态 故障 生成 方法 | ||
【主权项】：
一种动态故障树生成方法，其特征在于，该方法包括如下步骤：(1)建立系统运行状态模型以及LTL形式的安全性需求P，P为一系列子安全需求的逻辑组合，表示第i个子安全需求，i＝1,2……k，k表示子安全需求的总个数；(2)以为顶事件，为中间事件，根据逻辑关系使用逻辑门连接，为逻辑门的输出，为逻辑门的输入，表示逻辑非，表示违反第i个子安全需求，i＝1,2……k；(3)采用系统运行状态模型对安全性需求P中的进行检测，若系统运行状态模型违反子安全需求则对应输出违反的系统状态路径；(4)根据的LTL公式以及违反的系统状态路径生成动态故障树。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于同济大学，未经同济大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710735865.6/，转载请声明来源钻瓜专利网。
