Specification and Design Methodology for Real-Time Embedded Systems

روش مشخصات و طراحی به عنوان یک حوزه تحقیقاتی در دهه گذشته رشد قابل توجهی داشته است، اما از فناوری طراحی VLSI به طور کلی و صنعت CAD به طور خاص عقب مانده است. هجوم تجاری به بازار سعی می کند از فناوری موجود استفاده کند که به توسعه ابزار طراحی CAD کمک می کند. به موازات این، تحقیقات پایه و کاربردی بسیار فعال برای بررسی و پیشبرد روش‌های منطقی و مؤثر برای انجام طراحی دیجیتال، به‌ویژه در زمینه کدنویسی سخت‌افزار/نرم‌افزار است. این رابطه نزدیک بین صنعت و دانشگاه است که همکاری نزدیک بین محققان و دست اندرکاران را بسیار مهم می کند - و تک نگاری هایی مانند این که هم مفهوم انتزاعی و هم اجرای عملی را با هم ترکیب می کنند به طرز ماهرانه ای این شکاف اغلب شکاف را پر می کنند. در هشتمین سمپوزیوم بین‌المللی IEEE/ACM در زمینه رمزگذاری سخت‌افزار/نرم‌افزار بود که در آنجا با نویسنده این مونوگراف، دکتر راندال جانکا، که در حال ارائه برخی از نتایج تحقیقات پایان‌نامه اخیر خود در مورد مشخصات و روش‌شناسی طراحی بود، ملاقات کردم. این مفهوم گاهی مبهم «ابزارها و قوانین» را به طور مختصر تعریف کرد. در جایی که بسیاری از محققان طراحی کد سعی در اثبات جنبه‌های مختلف کدنویسی و استفاده از برنامه‌های اسباب‌بازی برای این کار دارند، دکتر جانکا مشخصات و روش طراحی کاملی را توسعه داده بود. این زیرساخت را نمونه‌سازی کرد و قابلیت، کاربرد و کارایی آن را با استفاده از کاربرد واقعی پردازشگر تصویربرداری راداری دیافراگم مصنوعی که با پردازنده‌های موازی تعبیه‌شده در زمان واقعی پیاده‌سازی شده بود، اثبات کرد.

Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular. The commercial rush to market tries to leverage existing technology which fuels CAD design tool development. Paralleling this is very active basic and applied research to investigate and move forward rational and effective methodologies for accomplishing digital design, especially in the field of hardware/software codesign. It is this close relationship between industry and academia that makes close cooperation between researchers and practitioners so important-and monographs like this that combine both abstract concept and pragmatic implementation deftly bridge this often gaping chasm. It was at the IEEE/ACM Eighth International Symposium on Hardware/Software Codesign where I met the author of this monograph, Dr. Randall Janka, who was presenting some of his recent dissertation research results on specification and design methodology, or as he has so succinctly defined this sometimes ambiguous concept, "the tools and rules." Where so many codesign researchers are trying to prove out different aspects of codesign and using toy applications to do so, Dr. Janka had developed a complete specification and design methodology and prototyped the infrastructure-and proven its viability, utility, and effectiveness using a demanding real-world application of a real-time synthetic aperture radar imaging processor that was implemented with embedded parallel processors.