© 2012

Model-Based Engineering of Embedded Systems

The SPES 2020 Methodology

  • Klaus Pohl
  • Harald Hönninger
  • Reinhold Achatz
  • Manfred Broy
  • Applies and transfers state-of-the-art model-based software development to industrial application

  • Reports on experiences with model-based embedded systems development in application areas like automation, automotive, avionics, energy, and healthcare

  • Combines experiences from leading academic institutions and European top 50 companies like Airbus Industries, Bosch, EADS, RWE and Siemens


Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Ottmar Bender, Martin Hiller, Bastian Tenbergen, Thorsten Weyer
      Pages 15-28
  3. The SPES Modeling Framework

    1. Front Matter
      Pages 29-29
    2. Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer
      Pages 31-49
    3. Marian Daun, Bastian Tenbergen, Thorsten Weyer
      Pages 51-68
    4. Andreas Vogelsang, Sebastian Eder, Martin Feilkas, Daniel Ratiu
      Pages 69-83
    5. Sebastian Eder, Jakob Mund, Andreas Vogelsang
      Pages 85-93
    6. Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand
      Pages 95-106
    7. Kai Höfig, Mario Trapp, Bastian Zimmer, Peter Liggesmeyer
      Pages 107-118
    8. Robert Hilbrich, J. Reinier van Kampenhout, Marian Daun, Thorsten Weyer, Dominik Sojer
      Pages 119-128
  4. Application and Evaluation of the SPES Modeling Framework

    1. Front Matter
      Pages 129-129
    2. Andreas Jedlitschka, Ulrich Löwen
      Pages 131-135
    3. Thomas Wagner, Jan Christoph Wehrstedt, Ulrich Löwen, Tobias Jäger, Alexander Fay, Peter Schuller
      Pages 137-155
    4. Markus Fockel, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann, Wilfried Horn et al.
      Pages 157-175
    5. Ottmar Bender, Martin Hiller, Maurice Girod, Carsten Strobel, Martin Waßmuth, Laurent Dieudonné
      Pages 177-196
    6. Friedrich-W. Fasse, Christian Glomb, Johannes Grünbauer, André Heuer, Martin Klaus, Richard Kuntschke et al.
      Pages 197-214
    7. Hendrik Heinze, Khalid Kallow, Harmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic et al.
      Pages 215-230
    8. Andreas Jedlitschka, Jessica Jung, Constanza Lampasona
      Pages 231-239

About this book


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.


Automotive Software Avionics Software Embedded Systems Healthcare Software Model-Driven Development Requirements Engineering Software Engineering Software-intensive Systems

Editors and affiliations

  • Klaus Pohl
    • 1
  • Harald Hönninger
    • 2
  • Reinhold Achatz
    • 3
  • Manfred Broy
    • 4
  1. 1.Inst. Informatik und, WirtschaftsinformatikUniversität Duisburg-EssenEssenGermany
  2. 2.Robert Bosch GmbHSchwieberdingenGermany
  3. 3., Corporate TechnologySiemens AGMünchenGermany
  4. 4.Fak. Informatik, LS für Software & Systems EngineeringTU MünchenGarchingGermany

About the editors

Klaus Pohl is full professor for Software Systems Engineering at the Institute of Computer Science and Business Computing of the University of Duisburg-Essen in Germany, and director of paluno – The Ruhr Institute for Software Technology. He was scientific founding director of Lero, the Irish Software Engineering Institute, served as coordinator of the FP7 Network of Excellence S-Cube (Software Services and Systems Network) and is member of several steering committees and boards of directors including  the European Technology Platform NESSI (Networked European Software and Services Initiative) and the German Innovation Alliance SPES 2020.

Harald Hönninger is Vice President of Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. In his position, he is responsible for the pre-development of software-intensive systems and for corporate-wide software-, hardware- and systems engineering methods.

Reinhold Achatz recently joined ThyssenKrupp, where he leads the Corporate Center Technology, Innovation & Quality.  Before he was Corporate Vice President of Siemens AG and head of Corporate Research and Technologies as well as the Corporate Development Center. He has been honored as a “Siemens Top Innovator” for his outstanding innovations in software-based components for set-up, operations and execution accuracy of machine tools.

Manfred Broy is full professor for Software and Systems Engineering at the Institute for Computer Science of the Technical University of Munich. Among other awards, he received the Leibniz Preis, the highest scientific award of the Federal Republic of Germany, the Order of Merit of the Federal Republic of Germany and the Konrad-Zuse-Medal for extraordinary services in Computer Science. Manfred Broy is a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences “Leopoldina”.

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment