ON THIS PAGE:

Course Objectives

Prerequisites

Approach

Typical Text

Course Outline

Course Objectives
To introduce students to the fundamental problems, concepts, and approaches in the design and analysis of real-time systems.

Prerequisites
COMP 530.

Approach
Lecture, reading, major programming assignment.

Typical Text
Papers from the literature assembled by the instructor.

Course Outline

• Introduction
  • Definitions, examples, characteristics of problem domain
  • Real-time vs. conventional software
  • Overview of course.

• Requirements and specification methods
  • Taxonomy of timing constraints
  • SCR project requirements methodology
  • Finite state machine based methods, state charts, flow expressions
  • Safety analysis, real-time logic

• Timing Analysis of Real-Time Systems. I: Program Logics
  • Hoare logic based methods
  • CSP based methods
  • Temporal logic based methods

• Timing Analysis of Real-Time Systems. II: Theory of Deterministic Scheduling
  • Classical problems.
  • Preemptive scheduling of periodic tasks
  • Non-preemptive scheduling
  • Intractability results
  • Resource allocation
  • Hybrid real-time/non-real-time models
  • Distributed and parallel models

• Programming Languages and Systems For Real-Time Computing
  • Early Languages
  • Modula
  • Real-time Euclid, Ada
  • Concord, ESTEREL/Signal
  • Cyclic executives
  • MASCOT, DARTS
  • The Real-Time Producer/Consumer Paradigm

• Real-Time Operating Systems
  • Synchronization and concurrency management
  • Case studies

• Distributed Real-Time Systems
  • Communications architectures and protocols
  • Fault Tolerance