Real-Time Systems

  1. Schedulability Analysis
    1. Analysis Fundamentals
      1. Key Metrics
        1. Processor Utilization
          1. Utilization Calculation
            1. Utilization Bounds
            2. Response Time
              1. Response Time Calculation
                1. Factors Affecting Response Time
                2. Laxity
                  1. Laxity Calculation
                    1. Use in Scheduling Decisions
                  2. Schedulability Test Types
                    1. Necessary Conditions
                      1. Sufficient Conditions
                        1. Exact Tests
                      2. Utilization-Based Tests
                        1. Liu and Layland Bound for Rate-Monotonic
                          1. Derivation and Application
                            1. Bound Tightness
                            2. Hyperbolic Bound for Rate-Monotonic
                              1. Calculation and Use Cases
                                1. Improved Utilization Bounds
                                2. Utilization Bound for EDF
                                  1. Schedulability Condition
                                    1. Optimality of EDF
                                    2. Generalized Utilization Bounds
                                      1. Arbitrary Deadline Systems
                                        1. Constrained Deadline Systems
                                      2. Response-Time Analysis
                                        1. Critical Instant Analysis
                                          1. Definition of Critical Instant
                                            1. Application in RTA
                                              1. Critical Instant Theorem
                                              2. RTA for Fixed-Priority Systems
                                                1. Iterative Response Time Calculation
                                                  1. Blocking Time Considerations
                                                    1. Interference Analysis
                                                    2. RTA Extensions
                                                      1. Release Jitter Handling
                                                        1. Arbitrary Deadlines
                                                          1. Multiprocessor Extensions
                                                        2. Processor Demand Analysis
                                                          1. Analysis for EDF
                                                            1. Processor Demand Function
                                                              1. Feasibility Interval
                                                                1. Demand Bound Function
                                                                2. Workload Analysis
                                                                  1. Cumulative Workload
                                                                    1. Workload Bounds
                                                                  2. Schedulability in Multiprocessor Systems
                                                                    1. Global Scheduling
                                                                      1. Task Migration
                                                                        1. Global EDF and RM
                                                                          1. Anomalies in Global Scheduling
                                                                          2. Partitioned Scheduling
                                                                            1. Task Assignment Strategies
                                                                              1. Bin Packing Algorithms
                                                                                1. First-Fit Decreasing
                                                                                  1. Best-Fit Decreasing
                                                                                    1. Worst-Fit Decreasing
                                                                                  2. Semi-Partitioned Scheduling
                                                                                    1. Hybrid Approaches
                                                                                      1. Task Splitting
                                                                                        1. Capacity Augmentation Bounds