中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
一种基于组件的信息物理系统描述语言

文献类型:学位论文

作者时雨霖
学位类别硕士
答辩日期2017-04
授予单位中国科学院大学
授予地点北京
导师杨秋松
关键词信息物理系统 基于组件 系统描述 XML
学位专业软件工程
中文摘要

        信息物理系统(Cyber-Physical System, CPS)是计算过程和物理过程整合的复杂异构系统,嵌入式计算机和网络通过反馈回路监视和控制物理过程,在反馈回路中物理过程和计算过程相互影响。信息物理系统的应用领域广泛,将为资源、经济、医疗、国防等领域带来深远的影响。信息物理系统面临着许多挑战,其中之一是如何对其进行描述。信息物理系统包含物理世界的连续动态和计算世界的离散动态,物理世界与时间密切相关,通常用微分方程、积分方程进行建模,而计算世界的抽象(程序、对象、中断、线程)缺乏时间语义,因此如何对系统进行描述是目前信息物理系统的重要研究方向之一。
       本文针对信息物理系统描述问题,提出了一种基于组件的信息物理系统的描述语言CDL(CPS Description Language),CDL 通过扩展参量模型(Actor-Oriented Model)设计实现,通过组件、关联、约束三个主要元素来构建对信息物理系统的描述。
       本文首先介绍了信息物理系统的概念和研究现状,总结了信息物理系统的体系结构特点。针对系统特点,分析了现有的建模工具和建模方法的优势与不足,给出了通过扩展参量模型来描述信息物理系统的原因。之后本文介绍了 CDL 的设计、实现和应用。在设计方面,CDL 将信息物理系统中的传感器、执行器和计算组件描述成具有统一抽象的组件,将系统描述分解为系统中包含的组件、组件之间的关联以及组件约束三个主要元素。在实现方面,CDL 通过扩展 XML 实现。在应用方面,本文实现了提供 CDL生成、静态检查和发布部署的功能的工具原型,并利用这些工具实现了两个应用实例,分析了 CDL 及基于 CDL 开发的相关工具的编程效率和时间效率,验证了通过 CDL 来实现系统,可以使开发者减少编写的代码量,在较短时间内实现和部署系统,一定程度上降低系统设计实现的难度。

英文摘要

The Cyber-Physical Systems (CPSs) are heterogeneous systems which integrate computation processes with physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa. CPS has a wide range of applications in resource consumption, economic development, medical and health, national defense and other fields. However, CPS is confronted with many challenges, and one of these challenges is the method to describe CPS. CPS integrates the continuous dynamics of the physical world and the discrete dynamics of the computation world, on the one hand, the physical world is closely related to time and usually modeled by differential equations, integral equations and so on, on the other hand, the computation world abstractions, such as procedures, objects, interrupt, threads, lack temporal semantics. In a word, the method to describe CPS is one of the important research problems.

In this paper, we explore the CPS architecture features and propose a component-based description language named CDL(CPS Description Language) to describe CPS systems. CDL is extended from actor-oriented model and it use components, connections and constraints to construct system description.

Firstly, this paper outlines the concept and research status of CPS, and summarizes its structural characteristics. Then the contemporary system modeling methods’ advantages and deficiencies for modeling CPS are analyzed to illustrate the reason of modeling CPS by extending actor-oriented model. Then this paper introduces the design, implementation and application of CDL. In CDL, the sensors, computer components and actuators are described as unified abstraction as components, in this way, the system description is decomposed to components contained in the system, the connections and the constraints among components. In terms of implementation, CDL is implemented by extending XML (Extendable Markup Language). Furthermore, the tools are developed to provide the functions of CDL automatic generating, static validation and deployment, and two applications are implemented by using these tools. Finally, this paper analyzed the programming efficiency and time efficiency of CDL and these tools. The results proved that CDL could help developers reduce the amount of code written and the time of designing and implementing the system, and it could help to reduce the difficulty of system design and implementation to a certain extent.

语种中文
源URL[http://ir.iscas.ac.cn/handle/311060/18899]  
专题软件研究所_互联网软件技术实验室 _学位论文
作者单位中国科学院软件研究所
推荐引用方式
GB/T 7714
时雨霖. 一种基于组件的信息物理系统描述语言[D]. 北京. 中国科学院大学. 2017.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。