Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
Sanjit A. Seshia, Shiyan Hu, Wenchao Li, and Qi Zhu. Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 36(9):1421–1434, 2017.
Download
Abstract
A cyber-physical system (CPS) is an integration of computation with physical processes whose behavior is defined by both cyber 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.
BibTeX
@ARTICLE{seshia-tcad17, author = {Sanjit A. Seshia and Shiyan Hu and Wenchao Li and Qi Zhu} title = {Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities}, journal={IEEE Transactions on Computer-Aided Design of Circuits and Systems}, year={2017}, volume = {36}, number = {9}, pages = {1421--1434}, abstract = {A cyber-physical system (CPS) is an integration of computation with physical processes whose behavior is defined by both cyber 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.}, }