Design automation of cyber-physical systems: Challenges, advances, and opportunities

SA Seshia, S Hu, W Li, Q Zhu - IEEE Transactions on Computer …, 2016 - ieeexplore.ieee.org
IEEE Transactions on Computer-Aided Design of Integrated Circuits …, 2016ieeexplore.ieee.org
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 …
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.
ieeexplore.ieee.org