基于UTP的混成建模语言的理论研究

项目名称： 基于UTP的混成建模语言的理论研究

项目编号： No.61402176

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 赵涌鑫

作者单位： 华东师范大学

项目金额： 24万元

中文摘要： 信息物理融合系统Cyber-Physical System（简称CPS）是近些年来学术研究的热点领域之一。其主要特征表现为物理进程和计算进程的深度融合，广度交互。如何保证信息物理融合系统的正确性业已成为国内外工业界和学术界的难题之一。要保证CPS系统的正确性首先要解决的问题就是将物理进程和计算进程集中在同一框架下做分析推理。本项目致力于为CPS提供新的混成建模语言，深入研究物理进程和计算进程的交互机制，并建立具有严密数学基础的指称语义模型和代数语义模型，构建相应的代数演算系统和代数规范型。在此基础上，利用代数重写规则，发展有效的代数精化理论和程序分解理论，从而为CPS的分析、设计、实现和验证提供坚实的理论基础。

中文关键词： 混成系统；语义模型；中断程序；分析与验证；多智能体

英文摘要： Cyber-Physical Systems (CPS) is one of the hot areas of academic research in recent years. Its main character is the deep merging and wide interactions between physical and computation processes. How to guarantee the correctness of CPS has become one of t

英文关键词： Hybrid System；Semantic Model；Interrupt Program；Analysis and Verification；Multi-Agent