Advanced Techniques for Embedded Systems Design and Test

از آنجایی که فناوری الکترونیکی به نقطه‌ای می‌رسد که سیستم‌های پیچیده را می‌توان روی یک تراشه ادغام کرد، و درجات بالاتری از عملکرد را می‌توان با هزینه‌های پایین‌تر به دست آورد، طراحان باید راه‌های جدیدی را برای انجام کار پرزحمت مقابله با موارد متعدد و غیرمعمول ابداع کنند. - بی اهمیت، مشکلاتی که در هنگام تصور چنین سیستم هایی بوجود می آیند. از سوی دیگر، چرخه‌های طراحی کوتاه‌تر (به‌گونه‌ای که محصولات الکترونیکی بتوانند در پنجره‌های بازار در حال کوچک‌تر شدن قرار بگیرند) شرکت‌ها و در نتیجه طراحان را در رقابت برای دستیابی به محصولات قابل اعتماد در حداقل زمان تحت فشار قرار می‌دهد. متدولوژی‌های جدیدی که توسط اتوماسیون و انتزاع پشتیبانی می‌شوند ظاهر شده‌اند که در ایجاد امکان برای طراحان سیستم برای تسلط بر فرآیند طراحی الکترونیکی سنتی بسیار مهم بوده و سیستم‌های تعبیه‌شده یکی از زمینه‌هایی است که این روش‌شناسی عمدتاً مورد هدف قرار می‌گیرد. پیچیدگی ذاتی این سیستم‌ها، با اجزای سخت‌افزاری و نرم‌افزاری که معمولاً به صورت همزمان اجرا می‌شوند، و محدودیت‌های بسیار سخت هزینه و عملکرد، آنها را به‌ویژه برای معرفی سطوح بالاتر انتزاع و اتوماسیون مناسب می‌سازد تا به طراح اجازه دهد تا بهتر با بسیاری از موارد مقابله کند. مشکلاتی که در طول طراحی آنها ظاهر می شود.
تکنیک های پیشرفته برای طراحی و تست سیستم های جاسازی شده یک کتاب جامع است که پیشرفت های اخیر در روش ها و ابزارها برای مشخصات، سنتز، تأیید و آزمایش سیستم های جاسازی شده را ارائه می دهد که با استفاده از سیستم های جاسازی شده مشخص می شود. سطح زبان ها به عنوان راهی برای بهره وری. هر بخش خاص از فرآیند طراحی، از مشخصات تا آزمایش، با تأکید دائمی بر روش‌شناسی رفتاری بررسی می‌شود.
تکنیک‌های پیشرفته برای طراحی و آزمایش سیستم‌های جاسازی شده خواندنی ضروری برای همه محققان در جوامع طراحی و آزمایش و همچنین طراحان سیستم و توسعه‌دهندگان ابزارهای CAD است.

As electronic technology reaches the point where complex systems can be integrated on a single chip, and higher degrees of performance can be achieved at lower costs, designers must devise new ways to undertake the laborious task of coping with the numerous, and non-trivial, problems that arise during the conception of such systems. On the other hand, shorter design cycles (so that electronic products can fit into shrinking market windows) put companies, and consequently designers, under pressure in a race to obtain reliable products in the minimum period of time. New methodologies, supported by automation and abstraction, have appeared which have been crucial in making it possible for system designers to take over the traditional electronic design process and embedded systems is one of the fields that these methodologies are mainly targeting. The inherent complexity of these systems, with hardware and software components that usually execute concurrently, and the very tight cost and performance constraints, make them specially suitable to introduce higher levels of abstraction and automation, so as to allow the designer to better tackle the many problems that appear during their design.
Advanced Techniques for Embedded Systems Design and Test is a comprehensive book presenting recent developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. Each specific part of the design process, from specification through to test, is looked at with a constant emphasis on behavioral methodologies.
Advanced Techniques for Embedded Systems Design and Test is essential reading for all researchers in the design and test communities as well as system designers and CAD tools developers.