Memory Controllers for Real-Time Embedded Systems - nuovo libro

EAN (ISBN-13): 9781441982070
ISBN (ISBN-10): 1441982078
Anno di pubblicazione: 2011
Editore: Springer New York
221 Pagine
Lingua: eng/Englisch

Libro nella banca dati dal 2012-05-06T12:51:55+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-11-22T19:22:51+01:00 (Rome)
ISBN/EAN: 9781441982070

ISBN - Stili di scrittura alternativi:
1-4419-8207-8, 978-1-4419-8207-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : goossens, goos, goossen, akesson
Titolo del libro: embedded systems, real time systems, embedded controller

---

Dati dell'editore

Autore: Benny Akesson; Kees Goossens
Titolo: Embedded Systems; Memory Controllers for Real-Time Embedded Systems - Predictable and Composable Real-Time Systems
Editore: Springer; Springer US
222 Pagine
Anno di pubblicazione: 2011-09-15
New York; NY; US
Lingua: Inglese
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XXII, 222 p.

EA; E107; eBook; Nonbooks, PBS / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; 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; B; Electronic Circuits and Systems; Computer Memory Structure; Engineering; Computerhardware; BC

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.

 

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.

real-time applications.   It is especially well-suited for readers looking to use SDRAM memories in systems with hard or firm real-time requirements. There is a strong focus on real-time concepts, such as predictability and composability, as well as a brief discussion about memory controller architectures for high-performance computing.

blocks that implement the concepts.

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