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

[pdf] 

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.},
}