Prosa v0.3: Table of Contents (with proofs)

Index

  1. Basic Definitions
  2. Arrival Models
  3. Uniprocessor Scheduling Model
  4. Global Scheduling Model
  5. Partitioned Scheduling Model
  6. APA Scheduling Model
  7. Schedulability Analysis
  8. Sustainability
  9. Implementation
  10. Utility Library

1. Basic Definitions

2. Arrival Models

Basic

Jitter

3. Uniprocessor Scheduling Model

a) Basic Definitions

b) Sporadic Tasks

c) Sporadic Tasks with Jitter

d) Self-Suspending Tasks

4. Global Scheduling Model

a) Basic Definitions

b) Sporadic Tasks

c) Sporadic Tasks with Jitter

5. Partitioned Scheduling Model

6. APA Scheduling Model

7. Schedulability Analysis

a) Uniprocessor Scheduling of Sporadic Tasks

b) Uniprocessor Scheduling of Sporadic Tasks under TDMA

c) Uniprocessor Scheduling of Sporadic Tasks with Jitter

d) Uniprocessor Scheduling of Sporadic Self-Suspending Tasks

Suspension-oblivious

Suspension-aware (jitter-based approach)

e) Global Scheduling of Sporadic Tasks

f) Global Scheduling of Sporadic Tasks with Jitter

g) Global Scheduling of Sporadic Parallel Tasks

h) APA Scheduling of Sporadic Tasks

8. Sustainability

a) Uniprocessor Scheduling of Self-Suspending Tasks

9. Implementation

a) Basic Concepts

b) Uniprocessor Scheduling of Sporadic Tasks

c) Uniprocessor Scheduling of Sporadic Tasks With Jitter

d) Uniprocessor Scheduling of Self-Suspending Tasks

e) Global Scheduling of Sporadic Tasks

f) Global Scheduling of Sporadic Tasks With Jitter

g) Global Scheduling of Sporadic Parallel Tasks

h) APA Scheduling

10. Utility Library