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.