COMP 232 Home Page

COMP 232 -- Real-Time Systems

Office hours: By appointment.
SN324, jeffay@cs.unc.edu

(Date in parenthesis indicates date the handout was distributed.)

January 7 -- Introduction to real-time systems, overview of course (jeffay)
January 12 -- Timing constraints (borg)
January 14 -- FSM-based specification methods (clark)
January 19 -- Martin Luther King's Birthday (Holiday)
January 21 -- Real-Time Logic (jain)
January 26 -- No class
January 28 -- No class
February 2 -- Real-Time Logic II (kimk)
February 4 -- Computing Program Execution Times (lkumar)
February 9 -- Extensions to Hoare Logic for reasoning about time (majumder)
February 11 -- Computer Time v. Real-Time (moorthy)
February 16 -- Proof of temporal correctness for a simple periodic process (ott)
February 18 -- Evaluation of Shaw's timing schemas (roussev)
February 23 -- Validating a timing analysis tool (sane)
February 25 & March 2 -- Timing analysis of multiprograms (sunku & jeffay)
March 4 -- Midterm Exam
March 9 -- Spring Break
March 11 -- Spring Break
March 16 & 18 -- Introduction to scheduling & Rate Monotonic scheduling (jeffay & borg)
March 23 -- Earliest Deadline First Scheduling (clark)
March 25 -- Least Laxity First Scheduling (jain)
March 30 & April 1 -- Mixed Static and Dynamic Priority Models (ott & jeffay)
April 6 & 8 -- Non-Preemptive Scheduling (lkumar & moorthy)
April 8 & 13 -- Scheduling with Shared Resources (moorthy & majumder)
April 15 -- Scheduling with Shared Resources II (kimk)
April 20 -- (roussev)
April 22 -- (sane)
April 27 -- (sunku)
April 29 --

- Last revised: Wed Jan 7 14:14:50 EDT 1998 by jeffay@cs.unc.edu