基于服务的信息物理融合系统软件结构建模方法

项目名称： 基于服务的信息物理融合系统软件结构建模方法

项目编号： No.61173048

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 虞慧群

作者单位： 华东理工大学

项目金额： 55万元

中文摘要： 信息物理融合系统（简称CPS）是嵌入式计算机与物理设备紧密耦合的系统，在医疗、交通、环境监控等领域的应用日益广泛。然而，CPS结构和行为特征复杂，如何高效地开发满足应用需求的CPS软件成为具有挑战性的重要研究课题。面向服务方法通过在服务之间定义良好的接口和契约联系、 组合服务构建复杂系统，成为CPS软件设计的一种可能途径。本项目从软件结构模型的角度研究CPS的结构和行为特征，旨在建立基于服务的CPS软件结构建模核心概念和关键技术。通过定义CPS软件结构形式化语言、提出需求驱动与精化相结合的CPS软件结构建模方法，实现增量式验证技术，建立基于服务的CPS软件结构形式化模型。本项目研究对于揭示CPS的本质特性、建立CPS软件设计理论、提高CPS软件可复用性和可信度具有理论意义和应用价值。

中文关键词： 信息物理融合系统；软件结构；服务计算；建模；验证

英文摘要：

英文关键词： Cyber-physical system；software architecture；service computing；modeling；verification