简介： 本发明公开了一种人机物融合系统的特定风险建模与分析方法，首先对HCPS中的特定风险进行总结和分类，定义完整的特定风险模型框架；其次借助AADL定义特定风险模型语义，包括人为因素模型和物理环境模型；然后基于AADL附录技术扩展特定风险模型附录，利用Xtext框架生成特定风险附录解析器；接着借助特定风险模型完成系统错误模型建模，与架构模型和特定风险模型统一集成为特定风险分析模型；最后通过Petri网工具对模型转换后的DSPN模型自动化计算得到系统构件的失效概率，同时提取架构模型中的安全性信息完成最终的特定风险分析报告。本发明建立了更为完整的人机物融合系统运行时架构，能够指导建立更为全面的安全性评估模型。