Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

سیستم‌های تعبیه‌شده مدت‌هاست که در حوزه‌های کاربردی که کنترل انسان در آنها غیرممکن یا غیرممکن است، ضروری شده‌اند. توسعه سیستم‌های تعبیه‌شده مدرن به دلیل پیچیدگی کلی سیستم، ادغام سخت‌تر و متقابل آن‌ها، افزایش الزامات مربوط به ایمنی و رفتار در زمان واقعی، و نیاز به کاهش هزینه‌های توسعه و بهره‌برداری، به طور فزاینده‌ای دشوار و چالش برانگیز می‌شود. p>

این کتاب نمای کلی جامعی از چارچوب مدل‌سازی سیستم‌های تعبیه‌شده پلتفرم نرم‌افزار (SPES) ارائه می‌دهد و کاربرد آن را در توسعه سیستم‌های جاسازی شده در حوزه‌های مختلف صنعت مانند اتوماسیون، خودرو، هواپیما، انرژی، و مراقبت‌های بهداشتی نشان می‌دهد. در SPES 2020، بیست و یک شریک از دانشگاه و صنعت به منظور توسعه و ارزیابی در حوزه‌های مختلف صنعتی چارچوب مدل‌سازی را که نشان‌دهنده وضعیت فعلی هنر در مهندسی سیستم‌های جاسازی شده است، متحد کرده‌اند.

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

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

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.

This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.

The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work.

The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.