Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Authors

Sanjit A. Seshia, Department of Electrical Engineering and Computer Sciences
Shiyan Hu, Michigan Technological University
Wenchao Li, Boston University
Qi Zhu, University of California, Riverside

Document Type

Article

Publication Date

9-1-2017

Abstract

© 1982-2012 IEEE. 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.

Publication Title

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Recommended Citation

Seshia, S., Hu, S., Li, W., & Zhu, Q. (2017). Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(9), 1421-1434. http://doi.org/10.1109/TCAD.2016.2633961
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/10982