中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 互联网软件技术实验室  > 学位论文
Title:
一种基于组件的信息物理系统描述语言
Author: 时雨霖
Issued Date: 2017-04
Supervisor: 杨秋松
Major: 软件工程
Degree Grantor: 中国科学院大学
Place of Degree Grantor: 北京
Degree Level: 硕士
Keyword: 信息物理系统 ; 基于组件 ; 系统描述 ; XML
Abstract:

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

English Abstract:

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.

Language: 中文
Content Type: 学位论文
URI: http://ir.iscas.ac.cn/handle/311060/18899
Appears in Collections:互联网软件技术实验室 _学位论文

Files in This Item:
File Name/ File Size Content Type Version Access License
硕士学位论文-时雨霖.pdf(2315KB)学位论文--限制开放 联系获取全文

description.institution: 中国科学院软件研究所

Recommended Citation:
时雨霖. 一种基于组件的信息物理系统描述语言[D]. 北京. 中国科学院大学. 2017-04-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[时雨霖]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[时雨霖]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace