View schedules for

all classes   first 8 weeks   second 8 weeks   EMB 2/03-5/20   evenings (4pm and later)

CS 424
Real-Time Systems

Credit:  3 or 4 hours.


Examples of real-time computing systems; real-time scheduling and resource management algorithms; analytical and efficient validation methods; examples of real-time operating systems; temporal consistency of real-time data; formal methods for specification of and reasoning about timing constraints. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 431.