TY - JOUR
T1 - Codesign Methodologies and Tools for Cyber-Physical Systems
AU - Zhu, Qi
AU - Sangiovanni-Vincentelli, Alberto
N1 - Funding Information:
Manuscript received July 4, 2018; accepted July 23, 2018. Date of current version September 14, 2018. This work was supported in part by the National Science Foundation Directorate for Computer and Information Science and Engineering under Grant 1553757, Grant 1645964, Grant 1646381, Grant 1646641, Grant 1724341, and Grant 1739816, 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 Camozzi Group and the Toyota InfoTechnology Center. (Corresponding author: Qi Zhu.) Q. Zhu is with the Department of Electrical Engineering and Computer Science, Northwestern University, Evanston, IL 60208 USA (e-mail: qzhu@northwestern.edu). A. Sangiovanni-Vincentelli is with the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA 94720 USA (e-mail: alberto@berkeley.edu).
Publisher Copyright:
© 1963-2012 IEEE.
PY - 2018/9
Y1 - 2018/9
N2 - Cyber-physical system (CPS) analysis and design are challenging due to the intrinsic heterogeneity of those systems. Today, CPSs are often designed by leveraging existing solutions and by adding cyber components to an existing physical system, thus decomposing the design into two separate phases. In this paper, we argue that the codesign of the cyber and physical components would expose solutions that are better under all aspects, such as safety, efficiency, security, performance, reliability, fault tolerance, and extensibility. To do so, automated codesign tools are a necessity due to the complexity of the problems at hand. In the paper, we will discuss the key needs and challenges in developing modeling, simulation, synthesis, validation, and verification tools for CPS codesign, present promising codesign approaches from our teams and others, and point out where additional research is needed.
AB - Cyber-physical system (CPS) analysis and design are challenging due to the intrinsic heterogeneity of those systems. Today, CPSs are often designed by leveraging existing solutions and by adding cyber components to an existing physical system, thus decomposing the design into two separate phases. In this paper, we argue that the codesign of the cyber and physical components would expose solutions that are better under all aspects, such as safety, efficiency, security, performance, reliability, fault tolerance, and extensibility. To do so, automated codesign tools are a necessity due to the complexity of the problems at hand. In the paper, we will discuss the key needs and challenges in developing modeling, simulation, synthesis, validation, and verification tools for CPS codesign, present promising codesign approaches from our teams and others, and point out where additional research is needed.
KW - Codesign
KW - cyber-physical systems (CPSs)
KW - design automation
KW - modeling
KW - synthesis
KW - verification
UR - http://www.scopus.com/inward/record.url?scp=85053795301&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85053795301&partnerID=8YFLogxK
U2 - 10.1109/JPROC.2018.2864271
DO - 10.1109/JPROC.2018.2864271
M3 - Article
AN - SCOPUS:85053795301
SN - 0018-9219
VL - 106
SP - 1484
EP - 1500
JO - Proceedings of the IEEE
JF - Proceedings of the IEEE
IS - 9
M1 - 8466985
ER -