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

Sanjit A. Seshia; Shiyan Hu; Wenchao Li; Qi Zhu

doi:10.1109/TCAD.2016.2633961

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

Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

101 Scopus citations

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	https://doi.org/10.1109/TCAD.2016.2633961
State	Published - Sep 2017

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

Access to Document

10.1109/TCAD.2016.2633961

Cite this

@article{67244c4bd64d463489d53a977a325a1c,

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

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

keywords = "Cyber-physical systems, automotive engineering, design automation, energy management, formal specification, formal verification, human-robot interaction, machine learning, privacy, security, synthesis",

author = "Seshia, {Sanjit A.} and Shiyan Hu and Wenchao Li and Qi Zhu",

note = "Funding Information: 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. Publisher Copyright: {\textcopyright} 1982-2012 IEEE.",

year = "2017",

month = sep,

doi = "10.1109/TCAD.2016.2633961",

language = "English (US)",

volume = "36",

pages = "1421--1434",

journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",

issn = "0278-0070",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "9",

}

TY - JOUR

T1 - Design Automation of Cyber-Physical Systems

T2 - Challenges, Advances, and Opportunities

AU - Seshia, Sanjit A.

AU - Hu, Shiyan

AU - Li, Wenchao

AU - Zhu, Qi

N1 - Funding Information: 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. Publisher Copyright: © 1982-2012 IEEE.

PY - 2017/9

Y1 - 2017/9

N2 - 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.

AB - 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.

KW - Cyber-physical systems

KW - automotive engineering

KW - design automation

KW - energy management

KW - formal specification

KW - formal verification

KW - human-robot interaction

KW - machine learning

KW - privacy

KW - security

KW - synthesis

UR - http://www.scopus.com/inward/record.url?scp=85027516559&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027516559&partnerID=8YFLogxK

U2 - 10.1109/TCAD.2016.2633961

DO - 10.1109/TCAD.2016.2633961

M3 - Article

AN - SCOPUS:85027516559

SN - 0278-0070

VL - 36

SP - 1421

EP - 1434

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

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

IS - 9

M1 - 7778207

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this