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: predictable and composable real-time systems (hardback) (series: 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: predictable and composable real-time systems (hardback) (series: 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 SoCs 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

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 :

15.5x23.5 cm

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

Prix indicatif 147,69 €

Ajouter au panier
En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER