Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

ویرایش: 1 
نویسندگان: Klaus Pohl,  Manfred Broy,  Heinrich Daembkes,  Harald Hönninger (eds.)  
سری:  
ISBN (شابک) : 9783319480022, 9783319480039 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 301 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 43 مگابایت 

قیمت کتاب (تومان) : 51,000



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

این کتاب در چهار بخش ساختار یافته است:

بخش اول «وضعیت شروع» بحث می‌کند. وضعیت موجود توسعه سیستم‌های تعبیه‌شده با تمرکز خاص بر مهندسی مبتنی بر مدل و خلاصه چالش‌های کلیدی ناشی از عملکرد صنعتی.

بخش دوم «تئوری مدل‌سازی» چارچوب مدل‌سازی SPES XT را معرفی می‌کند و هسته اصلی را توضیح می‌دهد. اصول.

بخش سوم «کاربرد چارچوب SPES XT» کاربرد چارچوب مدل‌سازی SPES XT و نحوه رسیدگی به چالش‌های صنعتی عمده را شرح می‌دهد.

قسمت چهارم «ارزیابی و انتقال فناوری» تأثیر چارچوب مدل‌سازی SPES XT را ارزیابی می‌کند و شامل کاربردهای نمونه‌ای مختلفی از اتوماسیون، خودرو، و اویونیک است.

به طور کلی، چارچوب مدل سازی SPES XT یک رویکرد مهندسی مبتنی بر مدل یکپارچه ارائه می دهد. این به چالش‌های اصلی در طول مهندسی سیستم‌های تعبیه‌شده می‌پردازد. از جمله، تکنیک‌های همسو و یکپارچه را برای اعتبارسنجی اولیه مصنوعات مهندسی (از جمله الزامات و طرح‌های کاربردی و فنی)، مدیریت انواع محصول و تنوع آن‌ها، تضمین ایمنی مدولار و استقرار نرم‌افزار تعبیه‌شده ارائه می‌دهد.</ p>

This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs.

The book is structured into four parts:

Part I “Starting Situation” discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from industrial practice.

Part II “Modeling Theory” introduces the SPES XT modeling framework and explains the core underlying principles.

Part III “Application of the SPES XT Framework” describes the application of the SPES XT modeling framework and how it addresses major industrial challenges.

Part IV “Evaluation and Technology Transfer” assess the impact of the SPES XT modeling framework and includes various exemplary applications from automation, automotive, and avionics.

Overall, the SPES XT modeling framework offers a seamless model-based engineering approach. It addresses core challenges faced during the engineering of embedded systems. Among others, it offers aligned and integrated techniques for the early validation of engineering artefacts (including requirements and functional and technical designs), the management of product variants and their variability, modular safety assurance and deployment of embedded software.

Front Matter....Pages i-xii
Front Matter....Pages 1-1
Advanced Model-Based Engineering of Embedded Systems....Pages 3-9
Running Examples....Pages 11-25
Front Matter....Pages 27-27
SPES XT Modeling Framework....Pages 29-42
SPES XT Context Modeling Framework....Pages 43-57
SPES XT Systems Engineering Extensions....Pages 59-71
Front Matter....Pages 73-73
Early Validation of Engineering Artifacts....Pages 75-103
Verification of Systems in Physical Contexts....Pages 105-117
System Function Networks....Pages 119-144
Optimal Development....Pages 145-168
Modular Safety Assurance....Pages 169-196
Variant Management and Reuse....Pages 197-222
Front Matter....Pages 223-223
Experiences of Application in the Automation Domain....Pages 225-239
Technology Transfer Concepts....Pages 241-250
The SPES XT Tool Platform....Pages 251-262
Evaluation of the SPES XT Modeling Framework....Pages 263-271
Outlook....Pages 273-276
Back Matter....Pages 277-303