In this course, we will study two largely unsolved problems in real-time systems:

1. Model-based design techniques that are based upon the synchrony hypothesis are widely used for designing large, complex safety-critical real-time systems. However, such design techniques yield models of a system, not an actual implementation --- the process by which efficient implementations of systems may be obtained from such model-based designs is not well understood. We will study whether techniques from real-time scheduling theory can be used for obtaining efficient implementations of such model-based designs.

2. Real-time systems are increasingly coming to be implemented upon heterogeneous multiprocessor platforms. We will study recently-proposed techniques for obtaining efficient implementations of real-time systems upon such platforms

MEETING TIMES AND PLACE: MW 9:15 - 10:30. SN 115

INSTRUCTOR: Sanjoy Baruah. (Click here for instructor's office hours.)

SYLLABUS and RUBRIC: There is no text-book for the course. We will study a number of papers that will be handed out in class (or made available in electronic form). There will be no assignments, tests, or other similar stress-inducing activities through the semester. Class participants will be offered opportunities to make presentations to the class, and to work on a semester project.

SPECIAL NEEDS: If you are entitled to extra accommodation for any reason (such as a disability), we make every reasonable attempt to accommodate you. However, it is your responsibility to discuss this with the instructor during the first week of the course.

HANDOUTS: Handouts and lecture outlines are available here (you may need a UNC Computer Science login ID to access this site)