信息物理融合系统可信软件形式化建模与分析

摘要：

从多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可信软件进行建模和分析.

关键词：信息物理融合系统、可信软件、Petri网、π演算、建模、演化

所属期刊栏目：34

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61202128;航空科学基金20100796004,20125896020;陕西省自然科学基金2011JQ8011

在线出版日期：2014-09-09（万方平台首次上网日期，不代表论文的发表时间）

页码：1857-1867