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.
Product Identifiers
Publisher
Springer-Verlag New York Inc.
ISBN-13
9781441982063
eBay Product ID (ePID)
109265850
Product Key Features
Book Title
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
Author
Benny Akesson, Kees Goossens
Format
Hardcover
Language
English
Topic
Computer Science, Physics
Publication Year
2011
Type
Textbook
Number of Pages
222 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Item Weight
535g
Additional Product Features
Title_Author
Kees Goossens, Benny Akesson
Series Title
Embedded Systems
Country/Region of Manufacture
United States
Best Selling in Books
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books