Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

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

Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.