Approximative real-time analysis [Elektronische Ressource] / Karsten Albers

Approximative Real-Time AnalysisDISSERTATIONzur Erlangung des akademischen Grades einesDr. rer. nat.der Fakultät für Ingenieurwissenschaften und Informatikder Universität Ulmvorgelegt vonKarsten Albersaus ErlangenInstitut für Eingebettete Systeme / Echtzeitsystem, 20112Amtierender Dekan: Prof. Dr.-Ing. Klaus DietmayerUniversität Ulm, DeutschlandGutachter: Prof. Dr.-Ing. Frank SlomkaUniversität Ulm, DeutschlandGutachter: Prof. Dr. Helmuth A. PartschUniversität Ulm, DeutschlandExterner Gutachter: Prof. Dr. Lothar ThieleETH Zürich, SchweizTag der Promotion: 08.04.2011ContentsList of Figures 5List of symbols 9Chapter 1. Introduction 11Chapter 2. Related Work 152.1. Schedulability analysis for task sets with static priorities 172.2. Schedulability analysis for task sets with dynamic priorities 202.3. Event models 32Chapter 3. Approximation for dynamic priorities 493.1. Periodic task system 503.2. Capacity calculation for the period task model 563.3. Event Stream Model 573.4. Proofs 603.5. Approximation error 663.6. Complexity 693.7. Comparison to related work 70Chapter 4. Adaptive schedulability tests 734.1. Dynamic error analysis 734.2. All-approximated algorithm 774.3. Generalization of the maximum test interval 824.4. Complexity 82Chapter 5. Approximation for static priority scheduling 855.1. Exact schedulability analysis 855.2. Exceeding costs 915.3. Approximation of Static Priorities 955.4. Dynamic adaptive test 995.5.