Chapter |
Credit Hours |
Chapter Contents |
Slides |
1 Concepts of Real-Time Systems |
4 |
The concepts of real-time systems, such as tasks, job, deadline, response time, period, etc. These concepts are frequently used in the following chapters. |
|
2 WCET Analysis in a Nutshell |
4 |
Introduce popular analysis techniques in bounding worst-case execution times of tasks, including path analysis, flow analysis, micro-architecture modeling and WCET calculation methods. |
|
3 Common Real-Time Scheduling Techniques |
4 |
Introduce the fundamentals of real-time scheduling and the taxonomy. List Scheduling, time-triggered scheduling, prioroity-driven scheduling and task graph scheduling will be introduced. |
|
4 Priority-Driven Scheduling Techniques |
8 |
Priority-driven scheduling algorithms are adopted in most real-time systems. This chapter will deal with the well-known RM, DM, EDF and LLF algorithms, and use these algorithms to show how to do schedulability analysis. |
|
5 Open System Scheduling |
2 |
Open system scheduling is also called "server-based scheduling", Deferrable Server and Sporadic Server algorithms are introduced. |
|
6 Resource Sharing Techniques in Real-Time Systems |
2 |
This chapter mainly deal with "resource sharing" problems in real-time systems, especially their effects on real-time scheduling. PIP and PCP protocols are used to show how to incorporate resource sharing into real-time schedulability analysis. |
|
7 Multi-processor Real-Time Scheduling Algorithms |
4 |
Real-time scheduling on multi-processors are introduced in this chapter, which can be classfied according to processor architecture and task migration. |
|
8 Formal Methods in Real-Time Systems |
4 |
Basic concepts of model checking are introduced in this chapter, Uppaal is adopted to introduce timed automata theory and the use of model checking technology in real-time system analysis. |
|
9 Real-Time Operating Systems |
2 |
This chapter introduce operating system support to real-time scheduling and related techniques, and how these techniques are implemented in the OS. Different RTOS are compared concerning their capability on satisfying real-time requirements. |
|