Virginia Tech®home

ECE 5434 - Cyber-Physical Systems (3C)

Course Description

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.