Codesign Methodologies and Tools for Cyber-Physical Systems

Qi Zhu*, Alberto Sangiovanni-Vincentelli

*Corresponding author for this work

Research output: Contribution to journalArticle

8 Scopus citations

Abstract

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.

Original languageEnglish (US)
Article number8466985
Pages (from-to)1484-1500
Number of pages17
JournalProceedings of the IEEE
Volume106
Issue number9
DOIs
StatePublished - Sep 2018

Keywords

  • Codesign
  • cyber-physical systems (CPSs)
  • design automation
  • modeling
  • synthesis
  • verification

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Codesign Methodologies and Tools for Cyber-Physical Systems'. Together they form a unique fingerprint.

  • Cite this