交织场景驱动的信息物理融合系统行为建模与测试技术研究

项目名称： 交织场景驱动的信息物理融合系统行为建模与测试技术研究

项目编号： No.61170066

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 王林章

作者单位： 南京大学

项目金额： 59万元

中文摘要： 信息物理融合系统（CPS）为了适应物理环境、运行平台和应用模式而呈现出多重复杂特征，其行为模型是由人机物、时间和空间属性、确定与非确定行为、功能与性能、连续与离散状态变化等交织在一起的场景构成。本课题提出以交织场景作为CPS系统行为建模与测试的基本单元，从交织场景获取、表达、设计、实现和驱动测试的角度，研究基于交织场景的CPS系统行为获取、表达与建模技术，以及基于交织场景模型的测试生成与执行方法、缺陷定位和辅助修复方法，并研制相应的交织场景建模与测试支撑工具，选择典型的应用进行实例研究。

中文关键词： 信息物理融合系统；交织场景；建模；测试；验证

英文摘要：

英文关键词： Cyber physical system；Interwind scenario；Modeling；Testing；Verification