Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. Seshia, S. A., Hu, S., Li, W., & Zhu, Q. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(9):1421–1434, September, 2017. Conference Name: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsdoi abstract bibtex 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.
@article{seshia_design_2017,
title = {Design {Automation} of {Cyber}-{Physical} {Systems}: {Challenges}, {Advances}, and {Opportunities}},
volume = {36},
issn = {1937-4151},
shorttitle = {Design {Automation} of {Cyber}-{Physical} {Systems}},
doi = {10.1109/TCAD.2016.2633961},
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.},
number = {9},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
author = {Seshia, Sanjit A. and Hu, Shiyan and Li, Wenchao and Zhu, Qi},
month = sep,
year = {2017},
note = {Conference Name: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
keywords = {Computational modeling, Cyber-physical systems, Design automation, Design methodology, Integrated circuit modeling, Solid modeling, Vehicle dynamics, automotive engineering, design automation, energy management, formal specification, formal verification, human-robot interaction, machine learning, privacy, security, synthesis},
pages = {1421--1434},
}
Downloads: 0
{"_id":"fguo8hg2s67mGsuyS","bibbaseid":"seshia-hu-li-zhu-designautomationofcyberphysicalsystemschallengesadvancesandopportunities-2017","author_short":["Seshia, S. A.","Hu, S.","Li, W.","Zhu, Q."],"bibdata":{"bibtype":"article","type":"article","title":"Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities","volume":"36","issn":"1937-4151","shorttitle":"Design Automation of Cyber-Physical Systems","doi":"10.1109/TCAD.2016.2633961","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.","number":"9","journal":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","author":[{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hu"],"firstnames":["Shiyan"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Wenchao"],"suffixes":[]},{"propositions":[],"lastnames":["Zhu"],"firstnames":["Qi"],"suffixes":[]}],"month":"September","year":"2017","note":"Conference Name: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","keywords":"Computational modeling, Cyber-physical systems, Design automation, Design methodology, Integrated circuit modeling, Solid modeling, Vehicle dynamics, automotive engineering, design automation, energy management, formal specification, formal verification, human-robot interaction, machine learning, privacy, security, synthesis","pages":"1421–1434","bibtex":"@article{seshia_design_2017,\n\ttitle = {Design {Automation} of {Cyber}-{Physical} {Systems}: {Challenges}, {Advances}, and {Opportunities}},\n\tvolume = {36},\n\tissn = {1937-4151},\n\tshorttitle = {Design {Automation} of {Cyber}-{Physical} {Systems}},\n\tdoi = {10.1109/TCAD.2016.2633961},\n\tabstract = {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.},\n\tnumber = {9},\n\tjournal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n\tauthor = {Seshia, Sanjit A. and Hu, Shiyan and Li, Wenchao and Zhu, Qi},\n\tmonth = sep,\n\tyear = {2017},\n\tnote = {Conference Name: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n\tkeywords = {Computational modeling, Cyber-physical systems, Design automation, Design methodology, Integrated circuit modeling, Solid modeling, Vehicle dynamics, automotive engineering, design automation, energy management, formal specification, formal verification, human-robot interaction, machine learning, privacy, security, synthesis},\n\tpages = {1421--1434},\n}\n\n","author_short":["Seshia, S. A.","Hu, S.","Li, W.","Zhu, Q."],"key":"seshia_design_2017","id":"seshia_design_2017","bibbaseid":"seshia-hu-li-zhu-designautomationofcyberphysicalsystemschallengesadvancesandopportunities-2017","role":"author","urls":{},"keyword":["Computational modeling","Cyber-physical systems","Design automation","Design methodology","Integrated circuit modeling","Solid modeling","Vehicle dynamics","automotive engineering","design automation","energy management","formal specification","formal verification","human-robot interaction","machine learning","privacy","security","synthesis"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/groups/4682325/items?key=gQcofis3fp4rTPEF0VitS7qe&format=bibtex&limit=100","dataSources":["rbZEZqmLz8K8iv4Hi"],"keywords":["computational modeling","cyber-physical systems","design automation","design methodology","integrated circuit modeling","solid modeling","vehicle dynamics","automotive engineering","design automation","energy management","formal specification","formal verification","human-robot interaction","machine learning","privacy","security","synthesis"],"search_terms":["design","automation","cyber","physical","systems","challenges","advances","opportunities","seshia","hu","li","zhu"],"title":"Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities","year":2017}