声明
ABSTRACT
摘要
List of Figures
List of Tables
List of Symbols
List of Abbreviations
Contents
Chapter 1 Introduction
1.1 Low-Power Reconfiguration Based on Earliest Deadline First(EDF)Scheduling
1.2 Dynamic Reconfiguration Based on Non-Preemptive Real-TimeScheduling
1.3 Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic RTS
Chapter 2 Real-Time System Models
2.1 Regular Real-Time System Model
2.2 Multi-Period Real-Time System Model
2.3 Periodic Real-Time Systems with Probabilistic Tasks
2.4 Power Consumption Model
2.5 Basic Concepts
Chapter 3 Preliminaries on DES and TDES
3.1 Preliminaries on DES
3.2 Preliminaries on TDES
Chapter 4 Dynamic Low-Power Reconfiguration of RTS Based on EDF Scheduling
4.1 Abstract
4.2 DWCS-Based Architecture for Low-Power Reconfigurations
4.2.1 System Reconfiguration Model
4.2.2 Intelligent Software Control Agent
4.3 Low-Power Reconfigurations
4.3.1 Reconfiguration Form A:Simultaneous Addition
4.3.2 Reconfiguration Form B:Addition of Periodic Tasks Only
4.3.3 Reconfiguration Form C:Addition of Probabilistic Tasks Only
4.3.4 Reconfiguration Form D:Simultaneous Addition and Removal
4.3.5 U0-Based Parameter Modification
4.4 Workload Demand and Busy Period Calculation
4.4.1 [t1,t2]workload demand in Π
4.4.2 Ls calculation in Π
4.4.3 Lp calculation in Ψ
4.5 Virtual Processors
4.5.1 Characteristics of Virtual Processors
4.5.2 Establishment of Virtual Processors
4.6 Feasibility Reconfigurations
4.6.1 Deadline Construction of Periodic Tasks
4.6.2 Deadline Construction of Hard Probabilistic Tasks
4.7 Power Consumption
4.8 Experimental Study
4.8.1 Simulations and Analysis
4.8.2 Comparison with Previous Approaches
4.9 Discussion
4.10 Conclusion
Chapter 5 Dynamic Multiple-Period Reconfiguration of RTS Based on Non-Preemptive Real-Time Scheduling
5.1 Abstract
5.2 TDES Model for Real-Time Systems
5.2.1 CW Model
5.2.2 JGS Model
5.2.3 Comparison between CW and JGS Models
5.2.4 TDES Model for Multiple-Period Tasks
5.2.5 Task Creation and Editing in TTCT
5.2.6 TDES RTS Model
5.3 Supervisory Control of Dynamic Reconfigurable Multiple-Period RTS
5.3.1 General Specification for MCW Model
5.3.2 Specification for MJGS Model
5.3.3 Dynamic Reconfiguration of RTS
5.4 Examples
5.4.1 Example.A:Dynamic Reconfiguration of MCW Model
5.4.2 Example.B:Dynamic Reconfiguration of MJGS model
5.5 Discussion
5.5.1 Computational Complexity
5.5.2 Comparison with Other Reconfiguration Methods
5.6 Conclusion
Chapter 6 Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic RTS
6.1 Abstract
6.2 Priority-Free Hard Real-Time Systems with Periodic Tasks
6.3 Priority-Free Hard RTS with Periodic Tasks
6.3.1 Priority-Free Real-Time Scheduling
6.3.2 Conditional-Preemption
6.3.3 Conditional-Preemption on Processor Level
6.4 DES Model for Real-Time Systems
6.4.1 DES Model for Periodic Tasks
6.4.2 DES Task Model Creation in TCT
6.5 Specifications for Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling
6.5.1 Nonblocking Specifications
6.5.2 Matrix-Based Conditional-Preemption Specifications
6.5.3 WCET-Based Conditional-Preemption Specifications
6.5.4 WCRT-Based Conditional-Preemption Specifications
6.5.5 Specification Creation in TCT
6.6 Supervisor Synthesis
6.6.1 Example.A.
6.6.2 Supervisory Control of (S)1
6.6.3 Supervisory Control of (S)2
6.6.4 Example.B.
6.6.5 Example.C.
6.7 Discussion
6.7.1 Computational Complexity and Calculation Speed up
6.7.2 Comparison with the CW Model
6.7.3 Comparison with(Time)Petri Nets Models
6.8 Conclusion
Chapter 7 Conclusion and Future Work
7.1 Conclusion
7.2 Future Work
References
Appendices
Acknowledgements
Biography