Advanced Model-Based Engineering of Embedded Systems

More about the book

This book offers a thorough introduction to the SPES XT modeling framework, highlighting its applicability in developing embedded systems across various industries and sharing valuable lessons learned. It details how the framework can be customized to suit specific domain and project requirements. The content is organized into four parts: Part I, “Starting Situation,” examines the current state of embedded systems development, focusing on model-based engineering and identifying key challenges from industrial practice. Part II, “Modeling Theory,” presents the SPES XT modeling framework and elucidates its foundational principles. Part III, “Application of the SPES XT Framework,” illustrates how the framework addresses significant industrial challenges through practical applications. Part IV, “Evaluation and Technology Transfer,” evaluates the framework's impact, showcasing exemplary applications in automation, automotive, and avionics sectors. Overall, the SPES XT modeling framework provides a cohesive model-based engineering approach, tackling fundamental challenges in embedded systems engineering. It includes integrated techniques for early validation of engineering artifacts, managing product variants, ensuring modular safety, and deploying embedded software.