دانلود کتاب Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems (به فارسی: کنترل کننده های حافظه برای سیستم های جاسازی شده در زمان واقعی: سیستم های زمان واقعی قابل پیش بینی و ترکیب) نوشته شده توسط «Benny Akesson – Kees Goossens (auth.)»
اطلاعات کتاب کنترل کننده های حافظه برای سیستم های جاسازی شده در زمان واقعی: سیستم های زمان واقعی قابل پیش بینی و ترکیب
موضوع اصلی: مهندسی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag New York
نویسنده: Benny Akesson – Kees Goossens (auth.)
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2012
تعداد صفحه: 222 / 244
حجم فایل: 2.01 مگابایت
کد کتاب: 144198206X , 9781441982063
نوبت چاپ: 1
توضیحات کتاب کنترل کننده های حافظه برای سیستم های جاسازی شده در زمان واقعی: سیستم های زمان واقعی قابل پیش بینی و ترکیب
تأیید الزامات بلادرنگ در سیستمهای روی تراشه با ادغام برنامههای بیشتر پیچیدهتر میشود. سیستم های قابل پیش بینی و ترکیب می توانند پیچیدگی فزاینده را با استفاده از تایید رسمی و شبیه سازی مدیریت کنند. این کتاب مفاهیم پیشبینیپذیری و ترکیبپذیری را توضیح میدهد و نحوه اعمال آنها را در طراحی و تجزیه و تحلیل یک کنترلکننده حافظه، که یک جزء کلیدی در هر سیستم بلادرنگ است، نشان میدهد.
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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.