Memory Controllers for Real-Time Embedded Systems

Predictable and Composable Real-Time Systems

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Computer Hardware, Input-Output Equipment
Cover of the book Memory Controllers for Real-Time Embedded Systems by Benny Akesson, Kees Goossens, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Benny Akesson, Kees Goossens ISBN: 9781441982070
Publisher: Springer New York Publication: September 15, 2011
Imprint: Springer Language: English
Author: Benny Akesson, Kees Goossens
ISBN: 9781441982070
Publisher: Springer New York
Publication: September 15, 2011
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer New York

Cover of the book Financial Planning and Counseling Scales by Benny Akesson, Kees Goossens
Cover of the book Basics of Musculoskeletal Ultrasound by Benny Akesson, Kees Goossens
Cover of the book Situation Awareness with Systems of Systems by Benny Akesson, Kees Goossens
Cover of the book Verbal Processes in Children by Benny Akesson, Kees Goossens
Cover of the book Pediatric Infectious Disease by Benny Akesson, Kees Goossens
Cover of the book Curriculum Models for the 21st Century by Benny Akesson, Kees Goossens
Cover of the book Computer Logic by Benny Akesson, Kees Goossens
Cover of the book Conflict, Interdependence, and Justice by Benny Akesson, Kees Goossens
Cover of the book Peritoneal Surgery by Benny Akesson, Kees Goossens
Cover of the book Qualitative Comparative Analysis with R by Benny Akesson, Kees Goossens
Cover of the book Expert Knowledge and Its Application in Landscape Ecology by Benny Akesson, Kees Goossens
Cover of the book Organic Light-Emitting Devices by Benny Akesson, Kees Goossens
Cover of the book Quo Vadis: Evolution of Modern Navigation by Benny Akesson, Kees Goossens
Cover of the book Cytopathology of Infectious Diseases by Benny Akesson, Kees Goossens
Cover of the book The Internet of Things by Benny Akesson, Kees Goossens
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy