合肥金星智控科技股份有限公司
宣传

位置:中冶有色 >

有色技术频道 >

> 失效分析技术

> 基于确定性随机Petri网的AADL模型安全性评估方法

基于确定性随机Petri网的AADL模型安全性评估方法

1155   编辑:管理员   来源:中冶有色技术网  
2023-03-19 09:01:41
本发明提供了一种基于确定性随机Petri网的AADL模型安全性评估方法。首先,构建层次化结构的AADL架构模型;然后,制定新的模型转换方法,将AADL安全性模型转换为DSPN模型,其中,为AADL安全性模型增加了新的语义,包括复合构件中可操作状态分别与失效状态和危险之间的关系,以及恢复事件和修复事件与错误检测之间的关系,新的模型转换方法简化了构件之间错误传播的转换方法和危险行为的转换方法,使安全性模型转换为状态数量更少的DSPN模型,用于计算危险发生的概率;最后,结合危险的严酷度等级计算危险发生的风险,做安全性评估。
声明:
“基于确定性随机Petri网的AADL模型安全性评估方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签:
失效分析
全国热门有色金属技术推荐
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

报名参会
更多+

报告下载

第二届中国微细粒矿物选矿技术大会
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传
环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话:
010-88793500-807
专利人/作者信息登记