株式会社極東書店トップ＞商品一覧＞ Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems.

商品詳細

Name: Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems.
Author: Akesson, Benny / Goossens, Kees
ISBN: 978-1-4614-3009-4

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems.

・ISBN 978-1-4614-3009-4 paper

お気に入り ★★★

お問い合わせ

著者・編者	Akesson, Benny / Goossens, Kees,
シリーズ	(Embedded Systems)
出版社	(Springer-Verlag New York Inc., US)
出版年月	2013
ページ数	222 pp.
言語	ENG
ニュース番号	＜A05-35594＞

解説

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.