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