文件名称：论文研究-信息物理融合系统可信软件形式化建模与分析.pdf
文件大小：940KB
文件格式：PDF
更新时间：2022-10-10 12:20:43
论文研究
论文研究-信息物理融合系统可信软件形式化建模与分析.pdf, 从多Agent系统的角度，以Petri网和π演算为语义基础，建立了一种信息物理融合系统（cyber-physical systems，CPS）可信软件形式化模型（high-confidence software formal model，HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为，用Petri网分析方法和支持工具对模型进行分析和验证； 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制，并研究Agent的演化策略及演化后CPS的一致性，确保动态演化后CPS软件能正常交互，从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用，表明HCSFM可以有效地对CPS可信软件进行建模和分析.