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.