Abstract
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.
Original language | English (US) |
---|---|
Article number | 7778207 |
Pages (from-to) | 1421-1434 |
Number of pages | 14 |
Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Volume | 36 |
Issue number | 9 |
DOIs | |
State | Published - Sep 2017 |
Funding
Manuscript received April 15, 2016; revised July 6, 2016 and October 7, 2016; accepted October 31, 2016. Date of publication December 8, 2016; date of current version August 18, 2017. The work of S. A. Seshia was supported in part by the National Science Foundation under Grant CCF-1139138, Grant CCF-1116993, and Grant CNS-1545126, in part by DARPA under Grant FA8750-16-C-0043, in part by the Toyota Motor Corporation through the CHESS Center, and in part by the TerraSwarm Research Center, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA. The work of W. Li was supported in part by the National Science Foundation under Grant CCF-1646497, and in part by DARPA under Grant FA8750-16-C-0043. The work of Q. Zhu was supported in part by the Office of Naval Research under Grant N00014-14-1-0815 and Grant N00014-14-1-0816, and in part by the National Science Foundation under Grant CCF-1553757 and Grant CCF-1646381. This paper was recommended by Associate Editor X. Li.
Keywords
- Cyber-physical systems
- automotive engineering
- design automation
- energy management
- formal specification
- formal verification
- human-robot interaction
- machine learning
- privacy
- security
- synthesis
ASJC Scopus subject areas
- Software
- Computer Graphics and Computer-Aided Design
- Electrical and Electronic Engineering