Memory Controllers for Real-Time Embedded Systems
Predictable and Composable Real-Time Systems| By: | Benny Akesson; Kees Goossens |
| Publisher: | Springer Nature |
| Print ISBN: | 9781441982063 |
| eText ISBN: | 9781441982070 |
| Edition: | 0 |
| Copyright: | 2012 |
| Format: | Reflowable |
Lifetime - $123.75
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.