COMP 4930/6930: Real-Time Systems
General Information
Welcome to the Real-Time Systems course! A real-time system includes different computations that are required to satisfy timing constraints. For example, an autonomous vehicle needs to detect obstacles within a certain time limit after receiving sensor data. Other examples of such systems are airplanes, industrial robots, medical robots, etc. Many real-time systems are also safety-critical, which should be certified for correctness before their real-world deployment.
To satisfy timing constraint, it is not sufficient to only devise efficient algorithms and implementation for the application. The underlying computing hardware should be allocated to different computations in a way that each computation provably respects its timing constraint. This course covers design and analysis of such resource-allocation algorithms such as scheduling algorithms, synchronization algorithms, memory-management algorithms, networking protocols that are central components of a real-time system. This course also covers topics related to autonomous systems such as hardware accelerator management, middleware such as Robot Operating System, and real-time AI.
-
Instructor
Shareef Ahmed
Lectures
MW 3:30pm-4:45pm
Office Hours
MW 1:30pm-3:00pm (ENB 367)
TA Office Hours
TBD