The University of Southampton
University of Southampton Institutional Repository

Design automation of cyber-physical systems: Challenges, advances, and opportunities

Design automation of cyber-physical systems: Challenges, advances, and opportunities
Design automation of cyber-physical systems: Challenges, advances, and opportunities
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.
0278-0070
1421-1434
Seshia, Sanjit
37e7d073-2f07-4794-a072-94bd7ffa198c
Hu, Shiyan
19bb09b2-bf52-4bd7-818a-63e8da474072
Li, Wenchao
2d3229f7-656a-4144-8f8c-214bd2f9e406
Zhu, Qi
bf510689-f7ca-4d57-8d74-4ccb250b0916
Seshia, Sanjit
37e7d073-2f07-4794-a072-94bd7ffa198c
Hu, Shiyan
19bb09b2-bf52-4bd7-818a-63e8da474072
Li, Wenchao
2d3229f7-656a-4144-8f8c-214bd2f9e406
Zhu, Qi
bf510689-f7ca-4d57-8d74-4ccb250b0916

Seshia, Sanjit, Hu, Shiyan, Li, Wenchao and Zhu, Qi (2017) Design automation of cyber-physical systems: Challenges, advances, and opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (9), 1421-1434. (doi:10.1109/TCAD.2016.2633961).

Record type: Article

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.

Full text not available from this repository.

More information

Accepted/In Press date: 1 April 2016
e-pub ahead of print date: 8 December 2016
Published date: September 2017

Identifiers

Local EPrints ID: 438342
URI: http://eprints.soton.ac.uk/id/eprint/438342
ISSN: 0278-0070
PURE UUID: 083f38bd-7fc8-43b0-ae10-942d9d093f57

Catalogue record

Date deposited: 06 Mar 2020 17:30
Last modified: 06 Oct 2020 18:42

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×