本发明公开了一种人机物融合系统的特定风险建模与分析方法,首先对HCPS中的特定风险进行总结和分类,定义完整的特定风险模型框架;其次借助AADL定义特定风险模型语义,包括人为因素模型和物理环境模型;然后基于AADL附录技术扩展特定风险模型附录,利用Xtext框架生成特定风险附录解析器;接着借助特定风险模型完成系统错误模型建模,与架构模型和特定风险模型统一集成为特定风险分析模型;最后通过Petri网工具对模型转换后的DSPN模型自动化计算得到系统构件的失效概率,同时提取架构模型中的安全性信息完成最终的特定风险分析报告。本发明建立了更为完整的人机物融合系统运行时架构,能够指导建立更为全面的安全性评估模型。
声明:
“人机物融合系统的特定风险建模与分析方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)