Schöler, Christian: Novel scheduling strategies for future NoC and MPSoC architectures. 2017
Inhalt
- Abstract English
- Kurzzusammenfassung Deutsch
- Declaration of Authorship
- Publications
- Acknowledgements
- Contents
- 1 Introduction
- 2 State-of-the-Art
- 2.1 Applications of Embedded Systems
- 2.2 SoC, NoC and MPSoC Architectures
- 2.3 Time-Triggered Communication Protocol
- 2.4 Scheduling in Time-Triggered Distributed Systems
- 2.5 MILP-based Scheduling
- 2.6 Related Work
- 3 Concepts and Terms
- 4 An Optimal SAT based Scheduler
- 5 An Optimal SMT-based Scheduler
- 5.1 Introduction
- 5.2 SMT Solving
- 5.3 Refinements and Implementation
- 5.4 Application of YICES SMT
- 5.5 Results
- 5.6 Execution on MPSoC-emulating target systems
- 5.7 Summary
- 6 Parallel Computation of Schedules
- 6.1 Introduction
- 6.2 Parallel Checks for Satisfiability
- 6.3 Results
- 6.4 Dominator-based Partitioning
- 6.5 Results
- 6.6 Summary
- 7 Scheduling on Fault-Tolerant Architectures
- 7.1 Introduction
- 7.2 Introduction into Fault Tolerance Techniques
- 7.3 Re-scheduling after Failure
- 7.4 List Scheduling
- 7.5 Results
- 7.6 Summary
- 8 Conclusion
- A Appendix
