基于虚拟原型的信息物理融合系统高效可信构造研究

项目名称： 基于虚拟原型的信息物理融合系统高效可信构造研究

项目编号： No.61672230

项目类型： 面上项目

立项/批准年度： 2016

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

项目作者： 陈铭松

作者单位： 华东师范大学

项目金额： 16万元

中文摘要： 作为工业4.0的核心技术，信息物理融合系统（CPS）能够对物理世界精确地实施“感、执、传、控”。但由于需要同时考虑不确定物理环境与并发计算部件，CPS构造过程复杂度极高，最终产品可信难于保证。虚拟原型作为一种系统仿真手段，支持在设计早期进行精确与高效的设计空间探索与协同验证。本项目围绕CPS可信构造，研究如何基于虚拟原型来有效地优化CPS设计并降低CPS构造的总体时间。主要研究不确定环境与资源受限情况下虚拟原型的设计优化方法与自动化生成技术，提高CPS设计质量与开发效率；本项目的研究将为CPS的构造提供理论基础与技术支撑，在提高CPS可信的同时，大幅降低其设计与建模的时间。

中文关键词： 信息物理融合系统；虚拟原型；高阶综合；统计模型检验；定量评估

英文摘要： As a key technology of the fourth industrial revolution, Cyber-Physical Systems (CPSs) are supposed to be able to accurately and efficiently conduct the sensing, actuation, communication and control within physical world. Since CPS designs involve both un

英文关键词： Cyber-Physical Systems；Virtual Prototype；High-Level Synthesis；Statistical Model Checking；Quantitative Analysis