22912 Real-Time and Reactive Systems

Credits: 4 graduate credits in Computer Science

Prerequisite: Admission to the graduate program in Computer Science 1

The course is based on a reader edited by Shmuel Tyszberowicz.

The course deals with reactive and real-time systems. These systems are of great importance in daily life from home systems such as video through atomic power plant control yet they are among the most complicated systems to characterize and build. Real time systems are part of a broader family of systems reactive systems.

Topics: Reactive systems and real time systems; Requirements, analysis and design of reactive systems informal approach, formal approach; The synchronous model of reactive systems the synchronous approach, statecharts, Esterel; Scheduling algorithms.

1Students who have not fulfilled this requirement may, under certain circumstances, enroll in this course.