ECE 5434 - Cyber-Physical Systems (3C)

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).

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.