Please DO NOT print copies of this material on the CETS printers!

Important Dates

Program 1 : Sep 25
Homework 2 : Sep 30
Exam 1 : Oct 29
Exam 2 : Dec 5

Instructor: Insup Lee; 262 Moore, 898-3532, lee@central

Course Description:

The purpose of this course is to study fundamental and practical issues in developing reliable real-time systems. This course will cover some of the following topics on real-time systems: scheduling, operating systems, programming languages, communications, specifications, security, testing and analysis, fault-tolerance, safety analysis, formal methods, tools, applications, and case studies. Students will be expected to participate in class discussion, to present the summary of their independent readings to the class, and to carry out significant term projects.

The first part of this semester will be based on the drafts of two textbooks: "Real-Time Software Design" by Alan Shaw and "Real-Time Systems" by Jane Liu. The former deals more with systems and and software engineering issues, whereas the latter concentrates more on real-time scheduling. The second part will be on special topics to be determined such as real-time issues in mobile computing, multimedia systems, switchware, etc.

Note: This course can be taken again by students who took CIS 642 in previous years since there will not be much overlap in course materials.

Student presentations

The following is the schedule for the rest of the semester. Since your presentation can start earlier than it is scheduled, you should be ready to present at least one class earlier than shown in the schedule. You must bring the copy of your TPs to me for approval during my office hour. Since I may ask you to revise your TPs, you should do so in advance.

If your name is missing, please let me know immediately.

Feb 12: Hard vs. Soft Real Time Systems; A Reference Model Of Real-Time Systems
Feb 19: Commonly Used Approaches To Real-Time Scheduling
Feb 26: Clock Driven Scheduling
Mar 5:
Mar 17: Timed Automata book chapter
Mar 19: Model Checking
Mar 24: SCR tool
Mar 26: Priority-Driven Scheduling Of Periodic Tasks
Mar 31: Priority-Driven Scheduling cont'd; Scheduling Aperiodic And Sporadic Jobs
Apr 2: Aperiodic And Sporadic Jobs cont'd
Apr 7: BDD
Apr 9: Resources And Resource Access Control
Apr 14: Multiprocessor Scheduling, Resource Access Control and Synchronization.
Apr 16: Multiprocessor Scheduling cont'd; Ch. 10
Apr 21: Ch. 10
Apr 23:
Additional presentations and papers
"Formal Methods for Real-Time Computing", Ch. 4
SCR paper
A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems
The Specification and Schedulability Analysis of Real-Time Systems Using ACSR
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems

Important links

• Real-Time Systems Group (RTG) at Penn
• Toolkit: VERSA
• Distributed Systems Lab (DSL) at Penn