Memory Controllers for Real-Time Embedded Systems, 2012 Predictable and Composable Real-Time Systems Embedded Systems Series
Auteurs : Akesson Benny, Goossens Kees
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.
Provides an overview of trends in embedded system design that make design of real-time
Cs difficult, error-prone, and expensive Introduces the concept of predictability, which is required for formal verification of real-time systems Introduces the concept of composability, which is a divide and conquer technique that enables performance verification per application, instead of monolithic verification for all applications together
Includes supplementary material: sn.pub/extras
Date de parution : 10-2013
Ouvrage de 222 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 128,16 €
Ajouter au panierDate de parution : 09-2011
Ouvrage de 222 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 105,49 €
Ajouter au panierThème de Memory Controllers for Real-Time Embedded Systems :
Mots-clés :
Embedded Systems; Embedded Systems; Integrated Circuits and Systems; Integrated Circuits and Systems; Memory Controllers; Memory Controllers; Predictable and Composable Systems; Predictable and Composable Systems; Real-time systems; Real-time systems; SDRAM; SDRAM; SOC; SOC; Systems-on-Chip; Systems-on-Chip; Verification of Embedded Systems; Verification of Embedded Systems