-
公开(公告)号：CN107590320A
公开(公告)日：2018-01-16
申请号：CN201710735865.6
申请日：2017-08-24
Applicant: 同济大学
IPC: G06F17/50
Abstract: 本发明涉及一种动态故障树生成方法，该方法包括如下步骤：(1)建立系统运行状态模型以及LTL形式的安全性需求P，P为一系列子安全需求的逻辑组合；(2)以为顶事件，子安全需求逻辑非运算为中间事件，根据逻辑关系使用逻辑门连接，表示逻辑非；(3)采用系统运行状态模型对子安全需求进行检测，若系统运行状态模型违反子安全需求则对应输出违反对应子安全需求的系统状态路径；(4)根据子安全需求逻辑非运算的LTL公式以及违反子安全需求的系统状态路径生成动态故障树。与现有技术相比，本发明故障树生成的效率高，故障树准确度高。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
