ECE 5434 Cyber-Physical Systems | ECE | Virginia Tech


Course Information


Modeling formalism of Cyber-Physical Systems (CPS). Modeling of physical and cyber systems; software synthesis from these modeling formalisms; supporting operating systems and hardware architectures for CPS; critical requirements of CPS and their validation/verification; and CPS case studies. (3H, 3C).

Why take this course?

Cyber-Physical Systems (CPS) is a new frontier for computer systems that is transforming the way people interact with engineered systems. CPS applications include systems such as aircraft, automotive, medical devices, process control, and critical infrastructure. Unlike the traditional computer systems, the interplay between the cyber and the physical systems in CPS brings significant challenges in the modeling, design, analysis and verification of such systems. The complex, interdisciplinary nature of CPS requires a unique approach for the education of CPS.

Learning Objectives

  • Categorize the essential modeling formalisms of Cyber-Physical Systems (CPS).
  • Analyze the functional behavior of CPS based on standard modeling formalisms.
  • Implement specific software CPS using existing synthesis tools.
  • Design CPS requirements based on operating system and hardware architecture constraints.
  • Analyze and verify the correctness of CPS implementations against system requirements and timing constraints.

Course Topics


Percentage of Course

Characteristics of Cyber-Physical Systems (CPS) 5%
CPS physical systems modeling and formalisms 10%
CPS computer systems modeling and formalisms 15%
CPS software synthesis 15%
Operating systems and hardware architecture support for CPS 20%
Analysis and verification of CPS 20%
CPS applications and case studies 15%