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

Benny Akesson/ Kees Goossens

ISBN 10: 144198206X / ISBN 13: 9781441982063

Edité par Springer, 2011

A propos de cet article

221 pages. 9.50x6.50x0.75 inches. In Stock. N° de réf. du vendeur x-144198206X

Détails bibliographiques

Titre : Memory Controllers for Real-Time Embedded ...

Éditeur : Springer

Date d'édition : 2011

Reliure : Hardcover

Etat : Brand New

A propos de ce titre

Synopsis :

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.

Présentation de l'éditeur:

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.