ENGG 4420 - Real-time Systems Design F (3-3) [0.75]
Hard versus soft real-time systems. Real-time issues in computer architecture. Clocks and timing issues. Correctness and predictability. Structuring and describing real-time software. Clock Synchronization. Real-time objects and atomicity. Validation of timing constraints. Formal Real-time systems design and analysis techniques: process-based, event-based, and Petri Nets. Resource management and control. Real-time scheduling and task allocation (Uni-processor and Multi-processor). Design for dependability, reliability and fault tolerance. Real-time programming using ADA. Survey of Real-time operating systems. Scenarios of real-time systems.
