Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.