Buch, Englisch, 222 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
Reihe: Embedded Systems
Predictable and Composable Real-Time Systems
Buch, Englisch, 222 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
Reihe: Embedded Systems
ISBN: 978-1-4614-3009-4
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.
