Handbook of Real-Time and Embedded Systems.pdf

viii
Contents
4.5 Hybrid Rate-Based Scheduling ............................................................................................ 4-12
4.6 Summary and Conclusions .................................................................................................. 4-13
5 Compositional Real-Time Schedulability Analysis
Insik Shin and Insup Lee .................................................................................................................... 5-1
5.1 Introduction .......................................................................................................................... 5-1
5.2 Compositional Real-Time Scheduling Framework ............................................................. 5-3
5.3 Workload Models .................................................................................................................. 5-6
5.4 Resource Models ................................................................................................................... 5-7
5.5 Schedulability Analysis ......................................................................................................... 5-9
5.6 Schedulable Workload Utilization Bounds .......................................................................... 5-12
5.7 Extension ............................................................................................................................... 5-16
5.8 Conclusions ........................................................................................................................... 5-18
6 Power-Aware Resource Management Techniques for Low-Power
Embedded Systems Jihong Kim and Tajana Simunic Rosing .............................................. 6-1
6.1 Introduction .......................................................................................................................... 6-1
6.2 Dynamic Voltage Scaling ...................................................................................................... 6-2
6.3 Dynamic Power Management .............................................................................................. 6-8
6.4 Conclusions ........................................................................................................................... 6-12
7 Imprecise Computation Model: Total Weighted Error and Maximum
Weighted Error Joseph Y-T. Leung ........................................................................................ 7-1
7.1 Introduction .......................................................................................................................... 7-1
7.2 Total Weighted Error ............................................................................................................ 7-3
7.3 Maximum Weighted Error ................................................................................................... 7-9
7.4 Concluding Remarks ............................................................................................................ 7-13
8 Imprecise Computation Model: Bicriteria and Other Related Problems
Joseph Y-T. Leung ............................................................................................................................... 8-1
8.1 Introduction .......................................................................................................................... 8-1
8.2 Total w-Weighted Error with Constraints ............................................................................ 8-2
8.3 Maximum w ′ -Weighted Error with Constraints ................................................................. 8-3
8.4 0/1-Constraints ..................................................................................................................... 8-6
8.5 Conclusions ........................................................................................................................... 8-10
9 Stochastic Analysis of Priority-Driven Periodic Real-Time Systems
José Luis Díaz, Kanghee Kim, José María López,
Lucia Lo Bello, Daniel F. García, Chang-Gun Lee,
Sang Lyul Min and Orazio Mirabella ................................................................................................. 9-1
9.1 Introduction .......................................................................................................................... 9-1
9.2 Related Work ......................................................................................................................... 9-2
9.3 System Model ........................................................................................................................ 9-3
9.4 Stochastic Analysis Framework ............................................................................................ 9-4
9.5 Steady-State Backlog Analysis .............................................................................................. 9-12
9.6 Computational Complexity ................................................................................................. 9-15
9.7 Experimental Results ............................................................................................................ 9-17
9.8 Conclusions and Future Work ............................................................................................. 9-22