Advanced Model-Based Engineering of Embedded Systems

Extensions of the SPES 2020 Methodology

  • Klaus Pohl
  • Manfred Broy
  • Heinrich Daembkes
  • Harald Hönninger

Table of contents

  1. Front Matter
    Pages i-xii
  2. Starting Situation

    1. Front Matter
      Pages 1-1
    2. Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
      Pages 3-9
    3. Frank Houdek, Ulrich Löwen, Jan Christoph Wehrstedt
      Pages 11-25
  3. Modeling Theory

    1. Front Matter
      Pages 27-27
    2. Wolfgang Böhm, Marian Daun, Vasileios Koutsoumpas, Andreas Vogelsang, Thorsten Weyer
      Pages 29-42
    3. Marian Daun, Bastian Tenbergen, Jennifer Brings, Thorsten Weyer
      Pages 43-57
    4. Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer
      Pages 59-71
  4. Application of the SPES XT Modeling Framework

    1. Front Matter
      Pages 73-73
    2. Karsten Albers, Peter Battram, Alfred Bognar, Veronika Brandstetter, Andreas Froese, Bastian Tenbergen et al.
      Pages 75-103
    3. Jens Oehlerking, Thomas Strathmann
      Pages 105-117
    4. Karsten Albers, Stefan Beck, Matthias Büker, Marian Daun, John MacGregor, Andrea Salmon et al.
      Pages 119-144
    5. Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele et al.
      Pages 145-168
    6. Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Antonino, Peter Battram, Suryo Buono et al.
      Pages 169-196
    7. Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz et al.
      Pages 197-222
  5. Evaluation and Technology Transfer

    1. Front Matter
      Pages 223-223
    2. Ulrich Löwen, Birthe Böhm, Alarico Campetelli, Maria Davidich, Florian Zimmer
      Pages 225-239
    3. Torsten Bandyszak, Philipp Diebold, André Heuer, Thomas Kuhn, Antonio Vetrò, Thorsten Weyer
      Pages 241-250
    4. Karsten Albers, Ömer Gürsoy, Stefan Henkler, Michael Schulze, Bastian Tenbergen, Axel Terfloth et al.
      Pages 251-262
    5. Philipp Diebold, Marian Daun, André Heuer, Andreas Jedlitschka
      Pages 263-271
    6. Manfred Broy
      Pages 273-276
  6. Back Matter
    Pages 277-303

About this book


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.


·        Reports on the tailoring of the state-of-the-art model-based SPES XT framework to facilitate the application in different industrial domains including automotive, avionics, and automation industry.

·        The SPES XT framework provides a solid foundation of integrated modeling and analysis techniques especially for model-based engineering of embedded systems.

·        Reports on the experiences and lessons learnt when applying the framework in different domains.


Model-Driven Software Engineering Embedded Systems Cyber-Physical Systems SPES XT Automotive Software Avionics Software Software-Intensive Systems

Editors and affiliations

  • Klaus Pohl
    • 1
  • Manfred Broy
    • 2
  • Heinrich Daembkes
    • 3
  • Harald Hönninger
    • 4
  1. 1.Paluno - The Ruhr InstituteUniversity of Duisburg-Essen Paluno - The Ruhr InstituteEssenGermany
  2. 2.Institut für InformatikTechnische Universität München Institut für InformatikGarching, MunchenGermany
  3. 3.Airbus Defence & Space UlmGermany
  4. 4.Robert Bosch GmbH RenningenGermany

Bibliographic information