-
公开(公告)号:CN111290783A
公开(公告)日:2020-06-16
申请号:CN202010154011.0
申请日:2020-03-07
Applicant: 上海交通大学
IPC: G06F8/74
Abstract: 一种基于SysML模型的级联失效致因图形化系统,包括:运行状态模型构建单元、模型读取与解析单元、失效致因搜索单元和失效致因显示单元,该系统基于SysML建立系统功能状态的交互关系并使用级联失效致因搜索算法生成失效反向致因链条,该失效反向致因链条整合为失效致因的树形结构,再从图中提取级联失效映射关系和根源失效并生成级联失效致因的最小割集;本发明以SysML模型结合MBSA方法开展安全性分析,建立对于系统动态安全性状态的宏观、整体认知。
-
公开(公告)号:CN111368441B
公开(公告)日:2024-03-12
申请号:CN202010153840.7
申请日:2020-03-07
Applicant: 上海交通大学
Abstract: 一种基于SysML模型的级联失效传播效应动态分析方法,基于SysML模型构造系统功能运行状态模型并从中提取出功能逻辑关系和运行状态级联关系,生成模型交互关系矩阵集合;再根据级联失效搜索算法从集合中的交互信息中生成失效传播链条;最后将失效传播链条整合为级联失效动态图形化结构以实现失效传播路径和影响范围的可视化。本发明能够对于复杂综合系统失效传播过程的动态描述与影响分析,达到失效传播路径和失效影响范围的可视化。
-
公开(公告)号:CN111290783B
公开(公告)日:2023-04-28
申请号:CN202010154011.0
申请日:2020-03-07
Applicant: 上海交通大学
IPC: G06F8/74
Abstract: 一种基于SysML模型的级联失效致因图形化系统,包括:运行状态模型构建单元、模型读取与解析单元、失效致因搜索单元和失效致因显示单元,该系统基于SysML建立系统功能状态的交互关系并使用级联失效致因搜索算法生成失效反向致因链条,该失效反向致因链条整合为失效致因的树形结构,再从图中提取级联失效映射关系和根源失效并生成级联失效致因的最小割集;本发明以SysML模型结合MBSA方法开展安全性分析,建立对于系统动态安全性状态的宏观、整体认知。
-
公开(公告)号:CN111368441A
公开(公告)日:2020-07-03
申请号:CN202010153840.7
申请日:2020-03-07
Applicant: 上海交通大学
Abstract: 一种基于SysML模型的级联失效传播效应动态分析方法,基于SysML模型构造系统功能运行状态模型并从中提取出功能逻辑关系和运行状态级联关系,生成模型交互关系矩阵集合;再根据级联失效搜索算法从集合中的交互信息中生成失效传播链条;最后将失效传播链条整合为级联失效动态图形化结构以实现失效传播路径和影响范围的可视化。本发明能够对于复杂综合系统失效传播过程的动态描述与影响分析,达到失效传播路径和失效影响范围的可视化。
-
-
-