.

Computer Science C S 324. Real-Time Systems 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. Prerequisite: C S 323; C S 331. 3 hours, or ¾ or 1 unit.