公开(公告)号：CN111290783B

公开(公告)日：2023-04-28

申请号：CN202010154011.0

申请日：2020-03-07

Applicant: 上海交通大学

Inventor： 肖刚 ,  吴瑀倩 ,  徐冬蕾 ,  陈珺仪

IPC: G06F8/74

Abstract: 一种基于SysML模型的级联失效致因图形化系统，包括：运行状态模型构建单元、模型读取与解析单元、失效致因搜索单元和失效致因显示单元，该系统基于SysML建立系统功能状态的交互关系并使用级联失效致因搜索算法生成失效反向致因链条，该失效反向致因链条整合为失效致因的树形结构，再从图中提取级联失效映射关系和根源失效并生成级联失效致因的最小割集；本发明以SysML模型结合MBSA方法开展安全性分析，建立对于系统动态安全性状态的宏观、整体认知。

公开(公告)号：CN111290783A

公开(公告)日：2020-06-16

申请号：CN202010154011.0

申请日：2020-03-07

Applicant: 上海交通大学

Inventor： 肖刚 ,  吴瑀倩 ,  徐冬蕾 ,  陈珺仪

IPC: G06F8/74

Abstract: 一种基于SysML模型的级联失效致因图形化系统，包括：运行状态模型构建单元、模型读取与解析单元、失效致因搜索单元和失效致因显示单元，该系统基于SysML建立系统功能状态的交互关系并使用级联失效致因搜索算法生成失效反向致因链条，该失效反向致因链条整合为失效致因的树形结构，再从图中提取级联失效映射关系和根源失效并生成级联失效致因的最小割集；本发明以SysML模型结合MBSA方法开展安全性分析，建立对于系统动态安全性状态的宏观、整体认知。