[发明专利]一种人机物融合系统的特定风险建模与分析方法有效
申请号: | 202110292296.9 | 申请日: | 2021-03-18 |
公开(公告)号: | CN113111494B | 公开(公告)日: | 2022-09-20 |
发明(设计)人: | 董云卫;肖明睿;曹阳 | 申请(专利权)人: | 西北工业大学 |
主分类号: | G06F30/20 | 分类号: | G06F30/20 |
代理公司: | 西安凯多思知识产权代理事务所(普通合伙) 61290 | 代理人: | 刘新琼 |
地址: | 710072 *** | 国省代码: | 陕西;61 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种人机物融合系统的特定风险建模与分析方法,首先对HCPS中的特定风险进行总结和分类,定义完整的特定风险模型框架;其次借助AADL定义特定风险模型语义,包括人为因素模型和物理环境模型;然后基于AADL附录技术扩展特定风险模型附录,利用Xtext框架生成特定风险附录解析器;接着借助特定风险模型完成系统错误模型建模,与架构模型和特定风险模型统一集成为特定风险分析模型;最后通过Petri网工具对模型转换后的DSPN模型自动化计算得到系统构件的失效概率,同时提取架构模型中的安全性信息完成最终的特定风险分析报告。本发明建立了更为完整的人机物融合系统运行时架构,能够指导建立更为全面的安全性评估模型。 | ||
搜索关键词: | 一种 人机 融合 系统 特定 风险 建模 分析 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于西北工业大学,未经西北工业大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110292296.9/,转载请声明来源钻瓜专利网。
- 上一篇:一种联合语音增强的语音活动检测方法
- 下一篇:一种食品加工用橄榄挤破机