Modeling Challenges for CPS Systems
Modeling Challenges for CPS Systems
复制标题
CPS 系统的建模挑战
DOI：
10.1109/sescps.2015.8
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
D. Garlan
中科院分区：
文献类型：
--
作者：
D. Garlan
仅给出摘要表格。当今复杂的网络物理系统需要使用各种模型来捕获这些系统的不同方面：物理模型、软件模型、控制模型等。一个关键的挑战是确保这些模型的一致性和完整性。在本次演讲中，我们描述了一种使用架构模型作为协调基础的方法。具体来说，系统的基础架构被用作统一表示，通过一组架构投影或视图来比较相关模型的结构和语义。每个模型通过相应架构视图的抽象与基础架构相关，该视图捕获模型元素和系统实体之间的结构和语义对应关系。在四旋翼飞行器以及与丰田在未来制动系统设计方面持续合作的背景下，说明了使用架构视图框架来关联不同领域的系统模型。此外，我们概述了一些关于使用概率建模技术来推理人机循环 CPS 任务的新想法，其中系统必须决定如何以及在多大程度上让用户参与实现系统目标。
Summary form only given. Today's complex cyber-physical systems require the use of a variety of models to capture different aspects of these systems: physical models, software models, control models, and so on. A critical challenge is to ensure consistency and completeness of these models. In this talk we describe an approach that uses architectural models as the basis for reconciliation. Specifically, a base architecture of the system is used as a unifying representation to compare the structure and semantics of the associated models through a set of architectural projections, or views. Each model is related to the base architecture through the abstraction of a corresponding architectural view, which captures structural and semantic correspondences between model elements and system entities. The use of the architectural view framework to relate system models from different domains is illustrated in the context of a quad-rotor air vehicle and an on-going collaboration with Toyota on future braking system design. Additionally we sketch some new ideas on the use of probabilistic modeling techniques for reasoning about human-in-the-loop CPS tasks, where the system must decide how, and to what extent, to involve users in achieving system goals.