COMP_ENG 395, 495: Modeling and Synthesis of Cyber-Physical Systems

Quarter Offered

None ;


Cyber-physical systems, such as autonomous vehicles, robots, and smart buildings, are poised to bring immense economic and societal benefits. This course will introduce trends and challenges of modern cyber-physical systems, and review state-of- the-art design paradigms and tools in both academia and industry. It will introduce fundamental concepts in the modeling of cyber-physical systems, and important models of computation such as dataflow, state machine, and synchronous-reactive semantics. It will introduce real-time embedded architectures that are commonly used in cyber-physical systems, and synthesis methodologies for generating efficient, correct, predictable, and secure implementations of cyber-physical functionality on these architectures. The course will leverage case studies from automotive and transportation systems, smart buildings, and consumer electronics to demonstrate design principles and techniques as well as their effectiveness and limitations. While focusing on the modeling and synthesis aspects, this course will also touch upon the main challenges and approaches in simulation, validation and verification of cyber-physical systems.