Department of Computer Science

Course director: J. Xu
Implementation details

COSC 4351.03 Real-Time Systems Theory

Section M  Winter       Tue 12:30-14:30, Thu 12:30

In real-time computing systems the correctness of the system depends not only on the logical result of the computation but also on the time at which the results are produced. For example, a computer controlling a robot on the factory floor of a flexible manufacturing system, must stop or turn the robot aside in time to prevent a collision with some other object on the factory floor. Other examples of current real-time systems include communication systems, traffic systems, nuclear power plants and space shuttle and avionic systems.

Real-time programs in many safety-critical systems are more complex than sequential programs or concurrent programs that do not have real-time requirements. This course will deal with the modelling, simulation, specification, analysis, design and verification of such real-time programs. The objective of the course is to expose the student to current techniques for formally proving the correctness of real-time behaviour of systems.

Topics covered may include the following.

Texts: t.b.a.

Prerequisites: general prerequisites, including COSC3311.03 or COSC3321.03 or COSC3111.03.