Authors:
- 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
Part of the book series: Embedded Systems (EMSY, volume 2)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Keywords
- 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
Authors and Affiliations
-
, Faculty of Electrical Engineering, Eindhoven University of Technology, Eindhoven, Netherlands
Benny Akesson, Kees Goossens
Bibliographic Information
Book Title: Memory Controllers for Real-Time Embedded Systems
Book Subtitle: Predictable and Composable Real-Time Systems
Authors: Benny Akesson, Kees Goossens
Series Title: Embedded Systems
DOI: https://doi.org/10.1007/978-1-4419-8207-0
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media, LLC 2012
Hardcover ISBN: 978-1-4419-8206-3Published: 08 September 2011
Softcover ISBN: 978-1-4614-3009-4Published: 27 October 2013
eBook ISBN: 978-1-4419-8207-0Published: 15 September 2011
Series ISSN: 2193-0155
Series E-ISSN: 2193-0163
Edition Number: 1
Number of Pages: XXII, 222
Topics: Circuits and Systems, Memory Structures