Real Time Systems

Instructor:

                 Dr. Farokh Bastani

                 Professor, Computer Science

                 Ph. D., The University of California, Berkeley

                 Eric Jonsson School of Engineering and Computer Science

                 The University of Texas at Dallas

                 Richardson, TX 75083-0688

                 Phone: (972) 883-2249

                 E-mail:  bastani@utdallas.edu

Course Objective:

The course covers the following topics:

1. Overview of real-time applications and concepts with emphasis on the distinguishing characteristics of real-time systems and the constraints that they must satisfy.

2. Real-time scheduling and schedulability analysis, including clock-driven and priority-driven scheduling.

3. Specification and design methods for real-time systems, including verification using timed automata and timed petri nets, model checking, real-time temporal logic specifications.

4. Resource management in real-time systems, including potential problems and their resolution as well as practical issues in building real-time systems.

5. Real-time communication.