COSC 6384 Real-Time Systems - Fall 2006
Dr. Albert M. K. Cheng
Office hours: TTh 2:55-3:55pm and by appointment
Real-Time Systems: Scheduling, Analysis, and Verification
by Prof. Albert M. K. Cheng (Publisher: John Wiley & Sons),
2nd printing, 2005.
The monitoring and control of physical processes and systems are
increasingly performed by computers.
These real-time embedded systems must satisfy stringent timing and
reliability constraints in addition to functional correctness requirements.
Examples of these embedded systems include the new generation of airplane
avionics, the planned Space Station control software, high-performance
network and telephone switching systems, medical monitoring instruments,
multimedia tools, virtual reality systems, robotic controllers,
PDAs (running Pocket PC, Palm OS, and Linux Embedix OS),
and wireless phones.
This course introduces a formal framework and powerful techniques for
the design and development of this class of systems.
foundations are followed by hands-on practice in employing these advanced
techniques to build, analyze, and verify different modules of actual
real-time systems. Scheduling tools (such as Rapid RMA, PerfoRMAx,
and TimeWiz) and OSs (such as VxWorks) are introduced.
Tornado development tools are used in projects.
Programming in real-time/rule-based languages such as Ada, EQL, MRL,
and OPS5 is described.
Specification and verification tools such as Statechart, Modechart,
and Estella are used to help design experimental real-time systems.
Embedded programming techniques are studied.
The course also serves as a forum for discussing state-of-the-art
research topics in real-time systems design.
Introduction to real-time and Embedded systems
System decomposition and scheduling techniques
In-depth study of Rate-Monotonic Scheduler (RMS),
EDF, LLF, and other schedulers
Programming language and operating systems support
Wind River VxWorks RTOS and Tornado
Development Tools; QNX Neutrino RTOS
Formal specification, analysis, and verification techniques
Embedded programming techniques
Real-time rule-based expert systems
Fault detection, fault recovery, and reliability issues
Time-critical distributed systems and communication networks
Operating Systems or equivalent
Course requirements and grading:
several (3 to 4)
homework assignments (25%), one open-book exam (no final exam)
(35%), one project report (25%), and one project presentation (15%).