基于Reo的协调理论及其在信息物理系统开发方法中的应用

项目名称： 基于Reo的协调理论及其在信息物理系统开发方法中的应用

项目编号： No.61202069

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

立项/批准年度： 2013

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

项目作者： 孙猛

作者单位： 北京大学

项目金额： 23万元

中文摘要： 本项目根据协调理论的发展和信息物理系统开发方法的需要提出，主要对基于Reo的混成连接件理论模型、连接件的定量模型检查和测试技术以及信息物理系统中连接件的动态重配置及自适应调整模式等重要问题进行研究。本项目将开发对信息物理系统中计算进程和物理进程之间交互进行协调的连接件进行建模和验证的严格方法和技术。研究重点将集中在下面三个方面：（1）设计适于信息物理系统中交互协议描述的混成连接件理论模型；（2）研究信息物理系统中服务质量感知的连接件定量性质的自动验证和动态测试的理论和技术；（3）研究信息物理系统中连接件的动态重配置及自适应调整模式。本项研究对于提高信息物理系统的正确性、可控性、可信性、安全性、可扩展性和效率，简化系统升级及维护的工作，以及推动信息物理系统开发方法学的发展，在理论和实践上都具有重要意义。

中文关键词： 协调；连接件；模型检查；测试；信息物理系统

英文摘要： The project is proposed according to the evolution of coordination theory and new development technologies required by CPS (Cyber-Physical Systems), and will mainly focus on the problems including theoretical models of hybrid connectors based on Reo, quan

英文关键词： Coordination；Connector；Model Checking；Testing；Cyber-Physical System