Predictable Real-Time System Design
Timing predictability and analyzability are key requirements of real-time systems. A temporal model of the system used explicitly during the requirements, design, and implementation phases prevents timing glitches in the field and costly late rework. This class introduces analytical techniques based on the popular rate-monotonic analysis (RMA) for modeling and analysis of real-time embedded systems. This paper discusses extensions to represent and analyze real-life, practical scenarios with data sharing, synchronization, aperiodic tasks, event- driven systems and message passing primitives.