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

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

> 基于AADL模型扩展的软件系统安全性验证与评估方法

基于AADL模型扩展的软件系统安全性验证与评估方法

583   编辑：管理员   来源：中冶有色技术网  
2023-03-19 09:00:54
本发明涉及一种基于AADL模型扩展的软件系统安全性验证与评估方法，是为了解决现有的基于AADL模型的验证评估很难对系统模型进行直接处理，需要付出巨大计算代价，且计算中蕴含大量冗余的缺点而提出的，包括：使危险因素与AADL架构模型建立联系，形成机理生成模型；提取模型元素并根据模型元素生成时间状态故障树、硬件软件影响分析树以及共因时效分析树，并根据树形结构自底向上逆推危险产生路径；设置每个物理器件的物理资源的性能与容量；并根据标注好的物理器件的危险因素概率来计算所述物理器件的失效概率；将AADL安全性模型转换为时间自动机模型；调用形式化验证工具UPPAAL对所述时间自动机模型进行分析和验证；本发明适用于软硬件系统的安全性评估。
声明：
“基于AADL模型扩展的软件系统安全性验证与评估方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签：
失效分析
上一个：压力联锁报警装置
下一个：可控相位的纹波产生器

与 “基于AADL模型扩展的软件系统安全性验证与评估方法” 相关技术

▪ 煤矸石煤泥资源化清洁燃烧与灰渣协同利用关键技术及应用
▪ 超快速制备纳米颗粒，高质量石墨烯技术
▪ 多金属复杂物料富氧侧吹熔池熔炼新技术
▪ 可用于生物冶金的高效菌种
▪ 利用炭粉吸附沥青熔化工段沥青烟气的净化系统
▪ 新型耐高温高强高导铜合金
▪ 框架薄板复合式振动筛框
▪ 粉碎机的粉碎设备
▪ 除尘离心通风机
▪ 用于抗蚀热镀锌管生产的连轧机

相关失效分析设备推荐

金属元素分析仪/钢铁材料元素分析仪器
土壤硬度检测仪
土壤水分温度测试仪
水份测定仪
岛津气相色谱仪GC-2010 Pro
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议
展开更多 +

 

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

最新更新技术

▪煤矸石煤泥资源化清洁燃烧与灰渣协同利用关键技术及应用
▪超快速制备纳米颗粒，高质量石墨烯技术
▪多金属复杂物料富氧侧吹熔池熔炼新技术
▪可用于生物冶金的高效菌种
▪利用炭粉吸附沥青熔化工段沥青烟气的净化系统
▪新型耐高温高强高导铜合金
▪框架薄板复合式振动筛框
▪粉碎机的粉碎设备
▪除尘离心通风机
▪用于抗蚀热镀锌管生产的连轧机

报名参会
更多+

2024固态电池前沿技术发展论坛
2024固态电池前沿技术发展论坛
2024年07月12日 ~ 14日
2024关键金属选冶及高纯制程技术交流会
2024关键金属选冶及高纯制程技术交流会
2024年07月12日 ~ 14日
2024先进陶瓷材料制备加工与应用交流会
2024先进陶瓷材料制备加工与应用交流会
2024年07月26日 ~ 28日
第十一届中国铝工业科学技术发展大会
第十一届中国铝工业科学技术发展大会
2024年08月13日 ~ 15日
第十七届东亚资源再生技术国际会议
第十七届东亚资源再生技术国际会议
2024年11月01日 ~ 04日

报告下载

1 实验室管理与实践
下载:52
2 化学实验室暖通系统设计新趋势
下载:50
3 矿产品样品制备要点与难点分析
下载:44
4 质检部门风险防控管理的探讨 （矿
下载:41
5 ICP-MS/MS测定有色金属中
下载:37
6 电位滴定法在北矿检测实验室的应
下载:33
7 电位滴定仪在有色金属分析的应用
下载:32
8 国家标准《铜精矿及主要含铜物料
下载:32
9 全面禁止洋垃圾入境形势下的固废
下载:32
10 金精矿制样与分析方法的研究
下载:32
第二届关键基础材料模拟、制备与评价技术交流会
推广

热门技术
更多+

1压力平衡机构
2防爆阀保护膜
3水电站的尾水预埋件
4化工矿产有色金属的检测机构
5矿石分类与实时定量分析的光谱检测新方法
6矿石中有色金属成分和含量的检测装置
7有色金属现货状态评估系统及方法
8有色金属废料中铁磁性杂质检测设备及检测工艺
9高温熔体缓冷装置及渣包测温方法
10便携式矿山测量激光仪
衡水宏运压滤机有限公司
宣传
环磨科技控股（集团）有限公司
宣传

发布

在线客服

公众号

电话

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