Techniques for Building Timing-Predictable Embedded Systems

This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline constraints, and how to use closed-form mathematical approaches to characterize highly variable workloads and their interaction in a networked environment.  Readers will learn how to deal with unpredictable timing behaviors of computer systems on different levels of system granularity and abstraction. 

Introduction.- Part I Cache Analysis for WCET Estimation.- MRU Cache Analysis for WCET Estimation.- FIFO Cache Analysis for WCET Estimation.- Part II Real-Time Scheduling on Multicores.- Analyzing Preemptive Global Scheduling.- Analyzing Non-preemptive Global Scheduling.- Liu & Layland's Utilization Bound.- Parametric Utilization Bounds.- Cache-Aware Scheduling.- Part III Real-Time Calculus.- Finitary Real-Time Calculus.- EDF in Real-Time Calculus.-   

Nan Guan is a researcher in the Embedded Systems Institute of the College of Computer Science and Engineering, at Northeastern University, China. His research interest includes Multiprocessor/multicore scheduling, Worst-Case Execution Time analysis, and Software synthesis of dataflow models.