طراحی سیستم‌های توکار

کتاب “طراحی سیستم‌های توکار” یک رویکرد مبتنی بر مدل برای طراحی سطح سیستم را معرفی می‌کند.
این کتاب، تکنیک‌های مدل‌سازی برای هردو محاسبات و ارتباطات در سطوح مختلف از انتزاع، ازجمله مشخه، سطح تراکنش و چرخه دقیق را ارائه می‌دهد.
این کتاب دررابطه با روش‌های سنتز برای معماری سطح سیستم، قطعات سخت‌افزاری و نرم‌افزاری توکار به بحث می‌پردازد.
بااستفاده از این روش‌ها، طراحان می‌توانند، اپلیکیشن‌ها را با مدل‌های سطح بالا توسعه دهند که به‌طور خودکار به پیاده‌سازی سطح پایین قابل تعبیر است.