Codesign Methodologies and Tools for Cyber–Physical Systems
Codesign Methodologies and Tools for Cyber–Physical Systems
复制标题
DOI：
10.1109/jproc.2018.2864271
复制
发表时间：
2018-09
影响因子：
20.6
通讯作者：
Qi Zhu;A. Sangiovanni-Vincentelli
中科院分区：
文献类型：
--
作者：
Qi Zhu;A. Sangiovanni-Vincentelli
信息物理系统（CPS）的分析和设计具有挑战性，因为这些系统具有内在的异质性。如今，cps通常通过利用现有解决方案和将网络组件添加到现有物理系统来设计，从而将设计分解为两个独立的阶段。在本文中，我们认为网络和物理组件的协同设计将暴露出在各个方面都更好的解决方案，例如安全性、效率、安全性、性能、可靠性、容错性和可扩展性。要做到这一点，由于手头问题的复杂性，自动化协同设计工具是必要的。在本文中，我们将讨论开发CPS协同设计的建模、仿真、综合、验证和验证工具的关键需求和挑战，展示我们团队和其他人的有前途的协同设计方法，并指出需要进一步研究的地方。
Cyber–physical system (CPS) analysis and design are challenging due to the intrinsic heterogeneity of those systems. Today, CPSs are often designed by leveraging existing solutions and by adding cyber components to an existing physical system, thus decomposing the design into two separate phases. In this paper, we argue that the codesign of the cyber and physical components would expose solutions that are better under all aspects, such as safety, efficiency, security, performance, reliability, fault tolerance, and extensibility. To do so, automated codesign tools are a necessity due to the complexity of the problems at hand. In the paper, we will discuss the key needs and challenges in developing modeling, simulation, synthesis, validation, and verification tools for CPS codesign, present promising codesign approaches from our teams and others, and point out where additional research is needed.