@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@ARTICLE{seshia-tcad17,
author = {Sanjit A. Seshia and Shiyan Hu and Wenchao Li and Qi Zhu}
title = {Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities},
journal={IEEE Transactions on Computer-Aided Design of Circuits and Systems},
year={2017},
volume = {36},
number = {9},
pages = {1421--1434},
abstract = {A cyber-physical system (CPS)
is an integration of computation with physical processes
whose behavior is defined by both cyber 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.},
}