{"product_id":"memory-controllers-for-real-time-embedded-systems-predictable-and-composable-real-time-systems-9781461430094","title":"Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems","description":"\u003cp\u003e • Author(s): Benny Akesson\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electronics - Circuits - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003eVerification 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.\u003c\/p\u003e\u003cp\u003eThis book is generally intended for readers interested in Systems-on-Chips with\u003cbr\u003ereal-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.\u003c\/p\u003e\u003cp\u003eReaders will learn step-by-step how to go from an unpredictable SDRAM memory, \u003cbr\u003eoffering highly variable bandwidth and latency, to a predictable and composable\u003cbr\u003eshared memory, providing guaranteed bandwidth and latency to isolated applications.\u003cbr\u003eThis journey covers concepts for making memories and arbiters behave in a\u003cbr\u003epredictable and composable manner, as well as architecture descriptions of hardware\u003cbr\u003eblocks that implement the concepts.\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eProvides an overview of trends in embedded system design that make design of real-time SoCs difficult, error-prone, and expensive; \u003c\/li\u003e\n\u003cli\u003eIntroduces the concept of predictability, which is required for formal verification of real-time systems; \u003c\/li\u003e\n\u003cli\u003eIntroduces 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;\u003c\/li\u003e\n\u003cli\u003eDescribes a novel approach to composability, which applies to any predictable shared resource, thus widely extending the scope of composable platforms. This is the first approach that can efficiently support SDRAM, which is an essential system component;\u003c\/li\u003e\n\u003cli\u003eProvides an overview of the SDRAM architecture at a level that is relevant for system designers, not memory designers, and explains why SDRAM architectures are difficult to use in real-time systems; \u003c\/li\u003e\n\u003cli\u003eDescribes concepts, architectures, implementation and worst-case performance analysis of predictable SDRAM accesses, as well as predictable and composable memory arbitration, which can be applied to all memory types\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45273766625431,"sku":"9781461430094","price":8840.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781461430094.webp?v=1769237543","url":"https:\/\/atlanticbooks.com\/products\/memory-controllers-for-real-time-embedded-systems-predictable-and-composable-real-time-systems-9781461430094","provider":"Atlantic Books","version":"1.0","type":"link"}