Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
复制标题
DOI：
10.1109/tcad.2016.2633961
复制
发表时间：
2017-09
影响因子：
2.9
通讯作者：
S. Seshia;Shiyan Hu;Wenchao Li;Qi Zhu
中科院分区：
文献类型：
--
作者：
S. Seshia;Shiyan Hu;Wenchao Li;Qi Zhu
信息物理系统（CPS）是计算与物理过程的集成，其行为由系统的计算部分和物理部分共同定义。在本文中，我们阐述了信息物理系统设计自动化所面临的挑战和机遇。我们确定了一系列特征组合，这些特征定义了信息物理系统设计自动化所特有的挑战。然后，我们深入介绍了一些有前景的进展，重点关注四个基础方向：结合基于模型和数据驱动的设计方法；人在回路系统的设计；基于组件且有契约的设计，以及安全和隐私设计。这些方向通过两个应用领域的实例进行说明：智能能源系统和下一代汽车系统。
A cyber-physical system (CPS) is an integration of computation with physical processes whose behavior is defined by both computational and physical parts of the system. In this paper, we present a view of the challenges and opportunities for design automation of CPS. We identify a combination of characteristics that define the challenges unique to the design automation of CPS. We then present selected promising advances in depth, focusing on four foundational directions: combining model-based and data-driven design methods; design for human-in-the-loop systems; component-based design with contracts, and design for security and privacy. These directions are illustrated with examples from two application domains: smart energy systems and next-generation automotive systems.