Embedded Systems Specification and Design Languages: Selected contributions from FDL’07

FDL مهم ترین انجمن اروپایی و احتمالاً جهانی برای ارائه نتایج تحقیقات، تبادل تجربیات، و آشنایی با روندهای جدید در کاربرد زبان های مشخصات و طراحی و روش ها و ابزارهای طراحی و مدل سازی مرتبط است. برای سیستم های تعبیه شده پیچیده و ناهمگن HW/SW. FDL’07 دهمین مجموعه از رویدادهای موفقی بود که در سراسر اروپا برگزار شد. FDL’07 در بارسلون، پایتخت کاتالونیا، اسپانیا برگزار شد. تعداد بالای ارسالی ها به کنفرانس امسال به کمیته برنامه اجازه داد تا برنامه کنفرانسی با کیفیت بالا تهیه کند. مشخصات سیستم‌های جاسازی شده و زبان‌های طراحیشامل گزیده‌ای از مرتبط‌ترین مشارکت‌ها بر اساس بررسی انجام‌شده توسط اعضای کمیته برنامه و کیفیت محتوای ارائه در کنفرانس است. در بسیاری از موارد، نویسندگان محتوای اصلی را با اطلاعات فنی اضافی بهبود بخشیده اند. این مقالات مهمترین جنبه‌های مدل‌سازی و مشخصات سیستم را پوشش می‌دهند، که یک حوزه ضروری در طراحی سیستم‌های جاسازی شده است.

هدف مشخصات و زبان‌های طراحی سیستم‌های جاسازی شدهبه‌عنوان مرجع ارائه می‌شود. متنی برای محققان و طراحان علاقه مند به گسترش و بهبود کاربرد زبان های طراحی و تأیید در حوزه سیستم های جاسازی شده.

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL’07 was the tenth of a series of successful events held all around Europe. FDL’07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design.

The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems.