Coverart for item
The Resource Memory controllers for real-time embedded systems : predictable and composable real-time systems, Benny Akesson, Kees Goossens, (electronic book)

Memory controllers for real-time embedded systems : predictable and composable real-time systems, Benny Akesson, Kees Goossens, (electronic book)

Label
Memory controllers for real-time embedded systems : predictable and composable real-time systems
Title
Memory controllers for real-time embedded systems
Title remainder
predictable and composable real-time systems
Statement of responsibility
Benny Akesson, Kees Goossens
Creator
Contributor
Subject
Language
eng
Summary
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. This book is generally intended for readers interested in Systems-on-Chips withreal-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. Readers will learn step-by-step how to go from an unpredictable SDRAM memory, offering highly variable bandwidth and latency, to a predictable and composableshared memory, providing guaranteed bandwidth and latency to isolated applications. This journey covers concepts for making memories and arbiters behave in apredictable and composable manner, as well as architecture descriptions of hardwareblocks that implement the concepts. 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;Describes 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;Provides 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; Describes 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
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorDate
1977-
http://library.link/vocab/creatorName
Åkesson, Benny
Dewey number
006.2/2
Index
index present
LC call number
TJ223.P76
LC item number
A34 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Goossens, Kees
http://library.link/vocab/subjectName
  • Microcontrollers
  • Embedded computer systems
Label
Memory controllers for real-time embedded systems : predictable and composable real-time systems, Benny Akesson, Kees Goossens, (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
SPR756842917
Dimensions
unknown
Extent
1 online resource (xxi, 221 pages).
Form of item
online
Isbn
9781441982070
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-1-4419-8207-0
  • 978-1-4419-8207-0
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Memory controllers for real-time embedded systems : predictable and composable real-time systems, Benny Akesson, Kees Goossens, (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
SPR756842917
Dimensions
unknown
Extent
1 online resource (xxi, 221 pages).
Form of item
online
Isbn
9781441982070
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-1-4419-8207-0
  • 978-1-4419-8207-0
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...