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. | 
               |