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 Systems
doi  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