buchspektrum Internet-Buchhandlung

Neuerscheinungen 2013

Stand: 2020-01-07
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Benny Akesson, Kees Goossens (Beteiligte)

Memory Controllers for Real-Time Embedded Systems


Predictable and Composable Real-Time Systems
2012. 2013. xxii, 222 S. 23 Tabellen. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER NEW YORK; SPRINGER 2013
ISBN: 1-461-43009-7 (1461430097)
Neue ISBN: 978-1-461-43009-4 (9781461430094)

Preis und Lieferzeit: Bitte klicken


Verification of real-time requirements in systems-on-chip becomes more complex as 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.
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.
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.