基于ADL的物理信息系统的建模与分析

Modeling and Analysis of Cyber Physical Systems Based on ADL

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。

Today＇s models and methods for analysis and design of cyber-physical systems（CPS） are typically fragmented along lines defined by disparate mathematical formalisms and dissimilar methodologies in engineering and computer science.While separation of concerns is needed for tractability,such analytical approaches often impose an early separation between the cyber and physical features of the system design,making it difficult to assess the impacts and tradeoffs of alternatives that cut across the boundaries between these domains.It presents extensions to software architectural descriptions to encompass the full range of elements that comprise cyber-physical systems.The ultimate goal is to create an extensible framework within which a comprehensive set of design tools can be created.So a CPS architectural style was presented in this way and then it was illustrated with a simple example.