Codesign Methodologies and Tools for Cyber-Physical Systems

Qi Zhu*, Alberto Sangiovanni-Vincentelli

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

25 Scopus citations


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
Issue number9
StatePublished - Sep 2018


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

ASJC Scopus subject areas

  • Computer Science(all)
  • Electrical and Electronic Engineering


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

Cite this