طراحی سیستم‌های توکار Embedded System Design: Modeling, Synthesis and Verification
- نوع فایل : کتاب
- زبان : انگلیسی
- نویسنده : Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner
- ناشر : Springer
- چاپ و سال / کشور: 2009
- تعداد صفحه : 358
- شابک / ISBN : 9781441905031
توضیحات
کتاب “طراحی سیستم‌های توکار” یک رویکرد مبتنی بر مدل برای طراحی سطح سیستم را معرفی می‌کند.
این کتاب، تکنیک‌های مدل‌سازی برای هردو محاسبات و ارتباطات در سطوح مختلف از انتزاع، ازجمله مشخه، سطح تراکنش و چرخه دقیق را ارائه می‌دهد.
این کتاب دررابطه با روش‌های سنتز برای معماری سطح سیستم، قطعات سخت‌افزاری و نرم‌افزاری توکار به بحث می‌پردازد.
بااستفاده از این روش‌ها، طراحان می‌توانند، اپلیکیشن‌ها را با مدل‌های سطح بالا توسعه دهند که به‌طور خودکار به پیاده‌سازی سطح پایین قابل تعبیر است.
این کتاب، تکنیک‌های مدل‌سازی برای هردو محاسبات و ارتباطات در سطوح مختلف از انتزاع، ازجمله مشخه، سطح تراکنش و چرخه دقیق را ارائه می‌دهد.
این کتاب دررابطه با روش‌های سنتز برای معماری سطح سیستم، قطعات سخت‌افزاری و نرم‌افزاری توکار به بحث می‌پردازد.
بااستفاده از این روش‌ها، طراحان می‌توانند، اپلیکیشن‌ها را با مدل‌های سطح بالا توسعه دهند که به‌طور خودکار به پیاده‌سازی سطح پایین قابل تعبیر است.
