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

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.

List of contents

Introduction.- Proposed Solution.- SDRAM Memories and Controllers.- Predictable SDRAM Back-End.- Resource Arbitration.- Composable Resource Front-End.- Configuration.- Related Work.- Conclusions and Future Work.- Appendix: System XML Specification.

Summary

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.

Product details

• Authors: Benn Akesson, Benny Akesson, Kees Goossens
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 01.10.2011
• EAN: 9781441982063
• ISBN: 978-1-4419-8206-3
• No. of pages: 222
• Dimensions: 165 mm x 17 mm x 241 mm
• Weight: 488 g
• Illustrations: XXII, 222 p.
• Series: Embedded Systems; Embedded Systems
• Subjects: Natural sciences, medicine, IT, technology > Technology > Electronics, electrical engineering, communications engineering; B, computer hardware, engineering, Circuits and Systems, Electronic circuits, Electronic Circuits and Systems, Computer architecture & logic design, Storage media & peripherals, Computer memory systems, Memory Structures