Course Websites

Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: May be repeated in the same or separate terms if topics vary.

Course description: In this course, we will delve into topics that deal with the design and temporal analysis of cyber-physical and embedded systems. The goal of this course is to provide a deep understanding about resource management, analysis and safety of modern embedded systems that interact with the physical world, especially those that have different degrees of criticality and stringent timing requirements. Examples of such systems include modern automobiles, avionics and flight systems, space vehicles and satellites, medical equipment, power distribution grid, and robotics devices among others. This course has a seminar-based structure where instructor and students give in class presentations about state-of-art research papers published in top conferences and journals. The course is structured to improve students' research skills and their ability for critical thinking. In-class discussion will focus on state-of-art research work on cyber-physical and real-time embedded systems