دانلود کتاب Embedded System Design: Modeling, Synthesis and Verification (به فارسی: طراحی سیستم جاسازی شده: مدل سازی، سنتز و تایید) نوشته شده توسط «Daniel D. Gajski – Samar Abdi – Andreas Gerstlauer – Gunar Schirner (auth.)»
اطلاعات کتاب طراحی سیستم جاسازی شده: مدل سازی، سنتز و تایید
موضوع اصلی: سیستم های اطلاعاتی
نوع: کتاب الکترونیکی
ناشر: Springer US
نویسنده: Daniel D. Gajski – Samar Abdi – Andreas Gerstlauer – Gunar Schirner (auth.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 352
حجم کتاب: 4 مگابایت
کد کتاب: 1441905030 , 9781441905031
نوبت چاپ: 1
توضیحات کتاب طراحی سیستم جاسازی شده: مدل سازی، سنتز و تایید
طراحی سیستم جاسازی شده: مدلسازی، سنتز و تأیید یک رویکرد مبتنی بر مدل را برای طراحی سطح سیستم معرفی میکند. این تکنیکهای مدلسازی را برای محاسبات و ارتباطات در سطوح مختلف انتزاع، مانند مشخصات، سطح تراکنش و سطح دقیق چرخه ارائه میکند. این روشهای سنتز را برای معماریهای سطح سیستم، نرمافزار تعبیهشده و اجزای سختافزار مورد بحث قرار میدهد. با استفاده از این روش ها، طراحان می توانند برنامه هایی را با مدل های سطح بالا توسعه دهند که به طور خودکار به پیاده سازی های سطح پایین قابل ترجمه هستند. این کتاب، علاوه بر این، روشهای تأیید رسمی و مبتنی بر شبیهسازی را توصیف میکند که برای دستیابی به اطمینان طراحی ضروری هستند. این کتاب با مروری بر ابزارهای موجود به همراه یک مطالعه موردی طراحی که به تشریح عمل طراحی سیستم جاسازی شده، پایان مییابد. به طور خاص، این کتاب به موضوعات زیر به تفصیل می پردازد:
. مدلسازی سیستم در سطوح مختلف انتزاعی
. طراحی سیستم مبتنی بر مدل
. رمزگذاری سخت افزار/نرم افزار
. سنتز اجزای نرم افزار و سخت افزار
. تأیید سیستم
این کتاب برای گروههایی در جامعه سیستم جاسازی شده است: دانشجویان در دورههای آموزشی سیستمهای جاسازی شده، توسعهدهندگان اپلیکیشنهای جاسازی شده، طراحان و مدیران سیستم، توسعهدهندگان ابزار CAD، اتوماسیون طراحی، و مهندسی سیستم
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail:
. System modeling at different abstraction levels
. Model-based system design
. Hardware/Software codesign
. Software and Hardware component synthesis
. System verification
This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.
دانلود کتاب «طراحی سیستم جاسازی شده: مدل سازی، سنتز و تایید»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.