Overview of tasking concepts. Real-time scheduling: Rate monotonic algorithm, priority ceiling protocols. Static versus dynamic scheduling, real-time Kernels. Real-time case studies e.g cruise control, robot controller, elevator control, distributed factory automation systems. SCADA systems. Quality control. Fault tolerance. Formal methods. Specifications, testing and maintenance of real-time systems. |