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

位置:北方有色 >

有色技术频道 >

> 失效分析技术

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

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

1386   编辑:管理员   来源:北方有色网  
2023-03-19 09:00:49
本发明涉及一种基于AADL模型扩展的软件系统安全性验证与评估方法,是为了解决现有的基于AADL模型的验证评估很难对系统模型进行直接处理,需要付出巨大计算代价,且计算中蕴含大量冗余的缺点而提出的,包括:使危险因素与AADL架构模型建立联系,形成机理生成模型;提取模型元素并根据模型元素生成时间状态故障树、硬件软件影响分析树以及共因时效分析树,并根据树形结构自底向上逆推危险产生路径;设置每个物理器件的物理资源的性能与容量;并根据标注好的物理器件的危险因素概率来计算所述物理器件的失效概率;将AADL安全性模型转换为时间自动机模型;调用形式化验证工具UPPAAL对所述时间自动机模型进行分析和验证;本发明适用于软硬件系统的安全性评估。
声明:
“基于AADL模型扩展的软件系统安全性验证与评估方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
         
咨询细节
标签:
失效分析
有色金属设备
有色金属技术
有色金属企业
有色金属资讯
有色金属价格
有色金属报告
热门分类
恒邦股份荣登2021年《财富》中国500强排行榜294位 600万吨氧化铝、240万吨电解铝!东方希望大手笔布局拉开帷幕 火电回血、风光失速:大唐发电净利润飙涨47%掀起的“五大电力”排位战 冶金百科 | 铝冶金——拜耳法生产氧化铝 小知识 | 什么是水电铝,水电铝的优势有哪些? 2025年锂电行业变革:十大关键技术引领行业洗牌 金属百科 | 稀贵金属—“铼” 方圆公司赴台技术服务团队凯旋 冶金百科 | 铜冶金-湿法炼铜小知识(一) 普鲁士蓝的有趣特性:不只是颜料,还可以用来回收金属,做电池及杀死肿瘤细胞? 2025年锂电池行业十大变革性技术 南山铝业第一家海外电解铝项目将落户印尼,规划产能为100万吨 坐在铜矿上的国家​:“铜矿之国”赞比亚到底有多“壕”? 军工材料中应用最广泛的金属结构材料——铝合金 历史性时刻!中国新能源汽车的渗透率首次突破50% 衡阳市市委书记秦国文到株冶有色调研 生态环境部印发《固体废物分类与代码目录》,废旧锂电池正式纳入固废管理 冶金百科 | 有色冶金企业单位产品能源消耗——铝冶金企业单位产品能源消耗 冶金百科 | 铅冶金工艺——火法炼铅(三段炉炼铅法) 锂离子电池小百科 | 电池标识及电池性能与测试 开辟新领域!电池企业纷纷布局低空市场 填补国内空白!中国首个分布式光伏建设领域安全规程正式发布实施 被关停!紫金矿业刚果(金)铜钴矿部分产品辐射含量超标 陕西:推出有色金属行业碳达峰实施方案,推动全产业链节能降碳 天一萃取离心萃取机荣获“创新星级品牌”奖 为减少进口依赖,欧洲时隔10年重启镁矿开采 冶金百科 | 铜冶金-火法炼铜小知识(七 ) 金属百科 | 锑的历史与发展 小知识 | 什么是钠离子电池?比起锂电池有什么优势? 铜业百科 | 辨别纯铜的方法有哪些
北方有色技术平台

最新更新技术

报名参会
更多+

热门专家
更多+

报告下载

铼产业报告(2026)
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传

慧博士报告
更多+

环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

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