一种基于组件的信息物理系统描述语言
文献类型:学位论文
作者 | 时雨霖 |
学位类别 | 硕士 |
答辩日期 | 2017-04 |
授予单位 | 中国科学院大学 |
授予地点 | 北京 |
导师 | 杨秋松 |
关键词 | 信息物理系统 基于组件 系统描述 XML |
学位专业 | 软件工程 |
中文摘要 |
信息物理系统(Cyber-Physical System, CPS)是计算过程和物理过程整合的复杂异构系统,嵌入式计算机和网络通过反馈回路监视和控制物理过程,在反馈回路中物理过程和计算过程相互影响。信息物理系统的应用领域广泛,将为资源、经济、医疗、国防等领域带来深远的影响。信息物理系统面临着许多挑战,其中之一是如何对其进行描述。信息物理系统包含物理世界的连续动态和计算世界的离散动态,物理世界与时间密切相关,通常用微分方程、积分方程进行建模,而计算世界的抽象(程序、对象、中断、线程)缺乏时间语义,因此如何对系统进行描述是目前信息物理系统的重要研究方向之一。 |
英文摘要 | 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收割
来源:软件研究所
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。