COMP 590-001 - Topics in Computer Science: Real Time Systems

Announcements

[12/5/18] A calculator and two 3-inch x 5-inch notecards are allowed for the final exam.
[12/3/18] Late days updated online, accurate at 1:45pm 12/3.

General Information

Instructor: Catherine Nemitz, Email: nemitz at cs dot unc dot edu
Office Hours: Mondays and Thursdays 1:30pm-2:30pm in FB132, Mondays and Wednesdays 10:20am-10:40am in SN011, or by appointment.
Course calendar: Here
Piazza: Home Page

Lectures: MW 9:05am-10:20am in SN011
Syllabus: PDF
Prerequesites: COMP 410, COMP 411, and COMP 550

Assignments

Lecture	Worksheet (Due)	Homework	Due Date	Reading Sections	Reading Pages	Programming Assignment
1 - Aug. 22	Worksheet 1 (8/27)	Survey Assignment 1 (PDF)	8/27	Sec. 1.1-1.2.1, 1.2.3, 2.1-2.2.1	p. 1-10, 12-13, 23-28	-
2 - Aug. 29	Worksheet 2 (9/3)	Assignment 2 (PDF)	8/29	Sec. 3.2-3.3.3, 4.1-4.1.1, 4.4-4.4.1	p. 54-63, 79-84, 100-101	Instructions (Due 9/5)
3 - Aug. 29	Worksheet 3 (9/5)	Assignment 3 (PDF)	9/5	How to Read a Paper, Pass 1 of Jeffay et al.	On Sakai: paper-reading.pdf, jeffay-1991.pdf	-
4 - Sept. 5	Worksheet 4 (9/12)	Assignment 4 (PDF)	9/10	Sec. 2-4 of Jeffay et al., skimming the proofs	On Sakai: jeffay-1991.pdf	Instructions (Due 9/19)
5 - Sept. 10	Worksheet 5 (9/17)	Assignment 5 (PDF)	9/19	Sec. 4.3-4.3.1, 4.5	p. 86-89, 103-104	-
x - Sept. 12	-	-	-	class cancelled	-	-
x - Sept. 17	-	-	-	class cancelled	-	-
6 - Sept. 19	Worksheet 6 (9/26)	Assignment 6 (PDF)	9/24	Sec. 4.5.1-4.5.1, RM-SimplyPeriodic.pdf	p. 104-109, on Sakai	-
7 - Sept. 24	Worksheet 7 (10/1)	Assignment 7 (PDF)	9/26	Sec. 4.2	p. 84-86	Instructions (Due 10/8)
8 - Sept. 26	Worksheet 8 (10/3)	-	-	-	-	-
x - Oct. 1	-	-	-	Exam 1	-	-
9 - Oct. 3	Worksheet 9 (10/10)	Assignment 8 (PDF)	10/10	ET_and_TT.pdf	see homework	-
10 - Oct. 8	Worksheet 10 (10/15)	-	-	-	-	-
11 - Oct. 10	Worksheet 11 (10/17)	Assignment 9 (PDF)	10/17	Sec. 5.1-5.2, 5.7-5.7.1	p. 119-121, 149-152	-
12 - Oct. 15	Worksheet 12 (10/22)	-	-	-	-	-
13 - Oct. 17	Worksheet 13 (10/29)	Assignment 10 (PDF)	10/24	Sec. 7.1-7.4.1, 7.9	p. 205-212, 246-247	-
14 - Oct. 22	Worksheet 14 (10/29)	-	-	Sec. 7.6-7.6.1	p. 214-217	-
15 - Oct. 24	Worksheet 15 (10/31)	-	-	Sec. 7.7-7.7.4	p. 226-234	-
16 - Oct. 29	Worksheet 16 (11/5)	-	-	-	-	-
x - Oct. 31	-	-	-	Exam 2	-	-
17 - Nov. 5	Worksheet 17 (11/12)	Assignment 11 (PDF)	11/7	On a Real-Time Scheduling Problem, LITMUS: A Testbed...	All, skimming proofs, Abstract, Secs. 1 and 5	-
18 - Nov. 7	Worksheet 18 (11/14)	Assignment 12 (PDF)	11/12	Tardiness-Devi.pdf, mk-Firm-Hamdaoui.pdf, Weakly-Hard-Ahrendts.pdf	Abs., Secs. 1, 2, 4, 5 Abs., Secs. 1, 2, 6 Abs., Secs. 1, 2, 7, 8	Instructions (Due 11/21)
19 - Nov. 12	Worksheet 19 (11/19)	Assignment 13 (PDF)	11/14	Response-Erickson.pdf	Abs., Secs. 1, 2, 5, 6	-
20 - Nov. 14	Worksheet 20 (11/21)	Assignment 14 (PDF)	11/19	MC-Vestal.pdf, Towards-Baruah.pdf	all all	-
21 - Nov. 19	Worksheet 21 (11/26)	Assignment 15 (PDF)	11/26	MC-status-Kim.pdf	all	-
22 - Nov. 26	Worksheet 22 (12/3)	Assignment 16 (PDF)	11/28	MC-cache-Chisholm.pdf Nested-Takada.pdf	Abs., Secs. 1, 2, 6 Abs., Secs. 1, 2, 5, 6	-
23 - Nov. 28	Worksheet 23 (12/5)	Assignment 17 (PDF)	12/3	-	-	-
24 - Dec. 3	Worksheet 24 (12/8)	Assignment 18 (PDF)	12/5	bigLITTLE.pdf	all	-
25 - Dec. 5	Worksheet 25 (12/8)	-	-	-	-	-

Topics Covered

What is a real-time system?
Categorizing real-time systems
Fundamental notation
Uniprocessor scheduling: dynamic scheduling (RM, DM, EDF, LLF)
Scheduler optimality
Schedulability tests
Uniprocessor scheduling: static scheduling (cyclic executive)
Resource sharing on uniprocessors
Current research topics

Exams

There will be two in-class midterm exams, and a final exam. The dates of the midterm exams are tentative, and the final is scheduled according to the UNC Final Exam calendar.

Midterm 1: Monday, October 1st (in class)
Midterm 2: Wednesday, October 31st (in class)
Final Exam: Saturday, December 8th at 8:00 a.m.

Last updated: 2018-12-05