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

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

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

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

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

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

▪ 基于智能控制的再生铝冶炼炉
▪ 支架安装方便的太阳能光伏组件
▪ 高强度铝合金材料及其制备方法
▪ 全膜法处理光伏单晶硅片废水回用技术
▪ 含重金属的氨氮废水的处理方法
▪ 可智能调节的光伏板组件支架
▪ 多晶硅生产废水的处理回收系统
▪ 高盐含氨废水处理系统及节能运行工艺
▪ 高效冶金真空吸铝装置
▪ 真空感应熔炼炉可调节自动泄压装置

相关失效分析设备推荐

多气体检测仪
土壤墒情监测站设备
英思科矿用CZ多气体检测仪
土壤治理分析仪
一整套土壤采样器生产厂家
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议 中冶有色技术平台 有色金属技术网 中冶有色技术网
展开更多 +

 

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

最新更新技术

▪基于智能控制的再生铝冶炼炉
▪支架安装方便的太阳能光伏组件
▪高强度铝合金材料及其制备方法
▪全膜法处理光伏单晶硅片废水回用技术
▪含重金属的氨氮废水的处理方法
▪可智能调节的光伏板组件支架
▪多晶硅生产废水的处理回收系统
▪高盐含氨废水处理系统及节能运行工艺
▪高效冶金真空吸铝装置
▪真空感应熔炼炉可调节自动泄压装置

报名参会
更多+

2024全国有色金属分析检测技术交流会
2024全国有色金属分析检测技术交流会
2024年11月27日 ~ 29日
2024退役新能源器件循环利用技术交流会
2024退役新能源器件循环利用技术交流会
2024年11月29日 ~ 12月01日
全国冶金矿产固废资源化第五届学术会议
全国冶金矿产固废资源化第五届学术会议
2024年12月13日 ~ 15日
2024电子封装与功能复合材料技术交流会
2024电子封装与功能复合材料技术交流会
2024年12月20日 ~ 22日
第二届中国微细粒矿物选矿技术大会
第二届中国微细粒矿物选矿技术大会
2025年03月25日 ~ 27日

报告下载

1 矿产品能力验证计划中样品的选取
下载:135
2 取、制样安全浅析
下载:121
3 取、制样现状及未来规划/需求
下载:97
4 浅谈质量检验管理风险防控的重点
下载:91
5 自动化样品制备助力准确高效的矿
下载:91
6 样品变质引起采制样和结算问题
下载:89
7 矿产品人工取样方案的制定及案例
下载:86
8 用于X荧光分析的样品前处理及其
下载:83
9 不均匀样品给第三方检测机构和贸
下载:83
10 制样室装修设计技巧
下载:81
2024退役新能源器件循环利用技术交流会
推广

热门技术
更多+

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

发布

在线客服

公众号

电话

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