作为智能制造的核心技术，信息物理系统（CPS）能够对物理世界精确地实施“感、执、传、控”。然而由于所处环境与系统器件存在多种不确定性，CPS构造过程复杂度极高，设计缺乏充分的验证极易导致最终产品的可信难以保证。本项目围绕CPS可信构造，从规约、设计、实现三个层次出发，探索不确定环境下CPS系统的高效建模、评估、综合、仿真与验证等关键构造技术，主要研究内容包括：1）研究不确定环境下基于契约的CPS设计理论及其自动评估与综合方法，提高CPS设计的质量与开发效率；2）研究不确定环境下虚拟原型的多粒度并行仿真方法，降低不确定环境感知虚拟原型的性能评测时间；3）研究CPS设计规约、虚拟原型与底层实现间验证结果重用机制，确保各抽象层次间功能的一致性，并降低系统的总体验证代价。本项目的研究将为不确定环境下CPS的可信构造提供共性理论与技术支撑，在提高CPS质量与可信的同时，大幅降低其构造所需的时间。

As a key technology of Intelligent Manufacturing, 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 the uncertain physical environments and parallel executing devices with performance variations which interact with each other intensely, the design complexity of CPSs is extremely high. If a CPS product is not sufficiently verified and optimized in the design phase, it is hard for us to assure that the product can execute correctly and efficiently while satisfying the design requirement in practice. In other words, the trustworthiness of the CPS design cannot be guaranteed within an uncertain environment. ..This project tries to propose a comprehensive top-down design methodology for trustworthy CPS products from the perspectives of three major construction steps, i.e., modeling/specification, design and implementation. The objective of this project is to explore efficient and effective modeling, evaluation, synthesis, simulation and verification techniques for CPS designs considering uncertain physical environment. Aiming at reducing the overall CPS construction time as well as improving the quality of the design, this project will mainly investigate the following three issues: 1) How to enable automated evaluation and synthesis of CPS models/specifications within uncertain environment? This project will establish a contract-based modeling and analysis framework for CPSs, which enables automated evaluation and synthesis of uncertain CPS designs. Therefore, the CPS design quality as well as CPS development process can be optimized. 2) How to improve the simulation performance of CPS virtual prototypes? This project will utilize various multi-granularity parallel simulation techniques to reduce the performance evaluation and design space exploration time for virtual prototypes. 3) How to guarantee the refinement correctness of different abstractions of CPS designs? This project will study how to reuse the validation efforts among design models/specifications, virtual prototypes, and low-level implementations of CPS designs, which can not only enable the functional consistency checking among these abstractions, but also reduce the overall validation efforts. ..In conclusion, by exploring various efficient and effective evaluation, synthesis, simulation and verification techniques, this project will provide a promising methodology and tool framework to support the efficient construction of trustworthy CPSs. The outcomes of this project will not only significantly reduce the CPS construction time, but also enhance the performance, reliability and predictability of constructed CPSs.