Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/memory-controllers-for-real-time-embedded-systems-predictable-and-composable-real-time-systems-hardback-series-embedded-systems/akesson/descriptif_2558216
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2558216

Memory Controllers for Real-Time Embedded Systems, 2012 Predictable and Composable Real-Time Systems Embedded Systems Series

Langue : Anglais

Auteurs :

Couverture de l’ouvrage Memory Controllers for Real-Time Embedded 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.

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 :

Ouvrage de 222 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 128,16 €

Ajouter au panier

Date de parution :

Ouvrage de 222 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 105,49 €

Ajouter au panier