Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

✍ Scribed by Benny Akesson, Kees Goossens (auth.)

• Publisher: Springer-Verlag New York
• Year: 2012
• Tongue: English
• Leaves: 234
• Series: Embedded Systems 2
• Edition: 1
• Category: Library

✦ Synopsis

Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. 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.

✦ Table of Contents

Front Matter....Pages i-xxi
Introduction....Pages 1-27
Proposed Solution....Pages 29-43
SDRAM Memories and Controllers....Pages 45-61
Predictable SDRAM Back-End....Pages 63-103
Resource Arbitration....Pages 105-142
Composable Resource Front-End....Pages 143-170
Configuration....Pages 171-186
Related Work....Pages 187-194
Conclusions and Future Work....Pages 195-201
Back Matter....Pages 203-221

✦ Subjects

Circuits and Systems; Memory Structures