| ABSTRACT | 第5-6页 |
| 摘要 | 第8-14页 |
| List of Symbols | 第14-19页 |
| List of Abbreviations | 第19-25页 |
| Chapter 1 Introduction | 第25-31页 |
| 1.1 Low-Power Reconfiguration Based on Earliest Deadline First (EDF) Schedul-ing | 第25-27页 |
| 1.2 Dynamic Reconfiguration Based on Non-Preemptive Real-Time Scheduling 3 | 第27-28页 |
| 1.3 Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic RTS | 第28-31页 |
| Chapter 2 Real-Time System Models | 第31-37页 |
| 2.1 Regular Real-Time System Model | 第31-32页 |
| 2.2 Multi-Period Real-Time System Model | 第32-33页 |
| 2.3 Periodic Real-Time Systems with Probabilistic Tasks | 第33-34页 |
| 2.4 Power Consumption Model | 第34-35页 |
| 2.5 Basic Concepts | 第35-37页 |
| Chapter 3 Preliminaries on DES and TDES | 第37-43页 |
| 3.1 Preliminaries on DES | 第37-39页 |
| 3.2 Preliminaries on TDES | 第39-43页 |
| Chapter 4 Dynamic Low-Power Reconfiguration of RTS Based on EDF Scheduling | 第43-69页 |
| 4.1 Abstract | 第43页 |
| 4.2 DWCS-Based Architecture for Low-Power Reconfigurations | 第43-46页 |
| 4.2.1 System Reconfiguration Model | 第44-45页 |
| 4.2.2 Intelligent Software Control Agent | 第45-46页 |
| 4.3 Low-Power Reconfigurations | 第46-51页 |
| 4.3.1 Reconfiguration Form A:Simultaneous Addition | 第46-48页 |
| 4.3.2 Reconfiguration Form B:Addition of Periodic Tasks Only | 第48页 |
| 4.3.3 Reconfiguration Form C:Addition of Probabilistic Tasks Only | 第48-49页 |
| 4.3.4 Reconfiguration Form D:Simultaneous Addition and Removal | 第49-50页 |
| 4.3.5 U~0-Based Parameter Modification | 第50-51页 |
| 4.4 Workload Demand and Busy Period Calculation | 第51-54页 |
| 4.4.1 [t_1,t_2]workload demand in Π | 第51页 |
| 4.4.2 L~s calculation in Π | 第51-53页 |
| 4.4.3 L_p calculation in Ψ | 第53-54页 |
| 4.5 Virtual Processors | 第54-56页 |
| 4.5.1 Characteristics of Virtual Processors | 第54-55页 |
| 4.5.2 Establishment of Virtual Processors | 第55-56页 |
| 4.6 Feasibility Reconfigurations | 第56-60页 |
| 4.6.1 Deadline Construction of Periodic Tasks | 第57-58页 |
| 4.6.2 Deadline Construction of Hard Probabilistic Tasks | 第58-60页 |
| 4.7 Power Consumption | 第60-61页 |
| 4.8 Experimental Study | 第61-66页 |
| 4.8.1 Simulations and Analysis | 第61-65页 |
| 4.8.2 Comparison with Previous Approaches | 第65-66页 |
| 4.9 Discussion | 第66页 |
| 4.10 Conclusion | 第66-69页 |
| Chapter 5 Dynamic Multiple-Period Reconfiguration of RTS Based on Non-Preemptive Real-Time Scheduling | 第69-93页 |
| 5.1 Abstract | 第69页 |
| 5.2 TDES Model for Real-Time Systems | 第69-79页 |
| 5.2.1 CW Model | 第69-71页 |
| 5.2.2 JGS Model | 第71页 |
| 5.2.3 Comparison between CW and JGS Models | 第71-72页 |
| 5.2.4 TDES Model for Multiple-Period Tasks | 第72-76页 |
| 5.2.5 Task Creation and Editing in TTCT | 第76-78页 |
| 5.2.6 TDES RTS Model | 第78-79页 |
| 5.3 S upervisory Control of Dynamic Reconfigurable Multiple-Period RTS | 第79-82页 |
| 5.3.1 General Specication for MCW Model | 第80页 |
| 5.3.2 Specification for MJGS Model | 第80-81页 |
| 5.3.3 Dynamic Reconfiguration of RTS | 第81-82页 |
| 5.4 Examples | 第82-89页 |
| 5.4.1 Example.A:Dynamic Reconfiguration of MCW Model | 第83-87页 |
| 5.4.2 Example.B:Dynamic Reconfiguration of MJGS model | 第87-89页 |
| 5.5 Discussion | 第89-90页 |
| 5.5.1 Computational Complexity | 第89-90页 |
| 5.5.2 Comparison with Other Reconfiguration Methods | 第90页 |
| 5.6 Conclusion | 第90-93页 |
| Chapter 6 Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic RTS | 第93-133页 |
| 6.1 Abstract | 第93页 |
| 6.2 Priority-Free Hard Real-Time Systems with Periodic Tasks | 第93-94页 |
| 6.3 Priority-Free Hard RTS with Periodic Tasks | 第94-103页 |
| 6.3.1 Priority-Free Real-Time Scheduling | 第94-95页 |
| 6.3.2 Conditional-Preemption | 第95-97页 |
| 6.3.3 Conditional-Preemption on Processor Level | 第97-103页 |
| 6.4 DES Model for Real-Time Systems | 第103-111页 |
| 6.4.1 DES Model for Periodic Tasks | 第104-109页 |
| 6.4.2 DES Task Model Creation in TCT | 第109-111页 |
| 6.5 Specifications for Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling | 第111-115页 |
| 6.5.1 Nonblocking Specifications | 第112页 |
| 6.5.2 Matrix-Based Conditional-Preemption Specifications | 第112-113页 |
| 6.5.3 WCET-Based Conditional-Preemption Specifications | 第113-114页 |
| 6.5.4 WCRT-Based Conditional-Preemption Specifications | 第114-115页 |
| 6.5.5 Specification Creation in TCT | 第115页 |
| 6.6 Supervisor Synthesis | 第115-128页 |
| 6.6.1 Example.A | 第116-117页 |
| 6.6.2 Supervisory Control of S~1 | 第117-120页 |
| 6.6.3 Supervisory Control of S~2 | 第120-121页 |
| 6.6.4 Example.B | 第121-125页 |
| 6.6.5 Example.C | 第125-128页 |
| 6.7 Discussion | 第128-131页 |
| 6.7.1 Computational Complexity and Calculation Speed up | 第128-129页 |
| 6.7.2 Comparison with the CW Model | 第129-130页 |
| 6.7.3 Comparison with(Time)Petri Nets Models | 第130-131页 |
| 6.8 Conclusion | 第131-133页 |
| Chapter 7 Conclusion and Future Work | 第133-137页 |
| 7.1 Conclusion | 第133-134页 |
| 7.2 Future Work | 第134-137页 |
| References | 第137-145页 |
| Appendices | 第145-151页 |
| Acknowledgements | 第151-153页 |
| Biography | 第153-154页 |
