Model-Based Systems Engineering with the SPES Modeling Language - A SysML Workbench for the SPES Methodology

This open access book presents the results of the project "SysML Workbench for the SPES Methodology" (SpesML), funded by the German Ministry of Education and Research. SpesML is a modeling language that supports the proven SPES methodology by a carefully selected subset of SysML language elements together with a precise semantic interpretation enabling advanced analyses.
The book begins with an introduction to the SpesML project in Chapter 1 and the SPES modeling language (SpesML) in Chapter 2. Next, Chapter 3 discusses the introduction of Model-based Systems Engineering (MBSE) in industry and details the challenges faced by industrial practitioners. It also introduces a running example used throughout the book to demonstrate the application and tool implementation of SpesML. Chapter 4 introduces the SPES methodology. Starting with the fundamental principles applied in SPES, it briefly describes the underlying modeling theory and the Universal Interface Model (UIM)concept. Chapter 5 details the subset of language elements of SysML used in SpesML and introduces the concept of expressions as an extension of SysML for formal behavior descriptions. Chapter 6 continues with the realization of the core building blocks in SPES (UIM, viewpoints, granularity layers) through SpesML language elements. Chapter 7 then describes the implementation of a SpesML plugin on top of MagicDraw. Eventually, Chapter 8 introduces three industry case studies, and Chapter 9 concludes with a summary and an outlook.
This open access book is written for both researchers in model-based systems engineering and for industry professionals exploiting model-based approaches for systems development. It adds to the development of the SPES methodology described in the three books "Model-Based Engineering of Embedded Systems", "Advanced Model-Based Engineering of Embedded Systems", and "Model-Based Engineering of Collaborative Embedded Systems".

List of contents

1. Introduction.- 2. Introduction to the SPES modeling language (SpesML).- 3. Challenges - The Industrial View.- 4. SPES Methodology.- 5. SpesML - A Modeling Language for the SPES Methodology.- 6. Usage of the Language Constructs in the SPES Methodology.- 7. A MagicDraw Plugin for the SpesML.- 8. Case Studies.- 9. An Outlook based on Spes, Crest, and SpesML.

About the author

Wolfgang Böhm worked as a post-doctoral researcher at the Chair of Software and Systems Engineering at the Technical University of Munich. He oversaw several research projects, among them the SPES projects SPES2020, SPES_XT, CrESt, and SpesML. Prior to that, he led the application products R&D organization at Nokia Siemens Networks.
Manfred Broy is a professor emeritus for Software and Systems Engineering at the Institute for Informatics of the Technical University of Munich. The core topic of his research is the development of concurrent software-intensive systems based on a solid scientific foundation by means of well-elaborated models and processes, durable and flexible software architectures, and modern development tools on the basis of mathematical and logical methods. He was awarded the Leibniz Preis in 1994 and the Order of Merit (Bundesverdienstkreuz) in 1996 and received the Konrad-Zuse-Medal for extraordinary services in Computer Science in 2007.
Walter Koch works as Applied Researcher at Schaeffler AG, a large automotive supplier in Germany, and is involved in some public funded projects. In parallel he is also in charge for a company-wide initiative for the digitalization in R&D. In 2019 he was elected as president of the German chapter of INCOSE (International Council on Systems Engineering), the authority of systems engineering globally. He has over 30 years of experience in the German automotive supplier business in different companies and management positions.
Nikolaus Regnat is a senior key expert for model-based development at Siemens AG. He has worked since 2003 on model-based development in industry environments and has helped various Siemens business units to adopt model-based development methodologies to their organizations. He is also frequently involved in research projects, among them the SPES projects SPES2020, SPES_XT, CrESt, and SpesML.
Bernhard Rumpe is the Software Engineering chair at RWTH Aachen University and Editor-In-Chief of the SoSyM Journal. His main interests are rigorous and practical software and system development methods based on adequate modeling techniques. This includes agile development methods and model-engineering based on UML/SysML-like notations and domain-specific languages. He also helps to apply modeling, e.g., to autonomous cars, human brain simulation, BIM energy management, juristical contract digitalization, production automation, cloud, and many more. 
David Schmalzing is a research assistant at the Chair of Software Engineering of the RWTH Aachen University. His main interests are modeling languages and methods for consistent, agile, and practical software and system engineering.

Summary

This open access book presents the results of the project “SysML Workbench for the SPES Methodology” (SpesML), funded by the German Ministry of Education and Research. SpesML is a modeling language that supports the proven SPES methodology by a carefully selected subset of SysML language elements together with a precise semantic interpretation enabling advanced analyses.
The book begins with an introduction to the SpesML project in Chapter 1 and the SPES modeling language (SpesML) in Chapter 2. Next, Chapter 3 discusses the introduction of Model-based Systems Engineering (MBSE) in industry and details the challenges faced by industrial practitioners. It also introduces a running example used throughout the book to demonstrate the application and tool implementation of SpesML. Chapter 4 introduces the SPES methodology. Starting with the fundamental principles applied in SPES, it briefly describes the underlying modeling theory and the Universal Interface Model (UIM)concept. Chapter 5 details the subset of language elements of SysML used in SpesML and introduces the concept of expressions as an extension of SysML for formal behavior descriptions. Chapter 6 continues with the realization of the core building blocks in SPES (UIM, viewpoints, granularity layers) through SpesML language elements. Chapter 7 then describes the implementation of a SpesML plugin on top of MagicDraw. Eventually, Chapter 8 introduces three industry case studies, and Chapter 9 concludes with a summary and an outlook.
This open access book is written for both researchers in model-based systems engineering and for industry professionals exploiting model-based approaches for systems development. It adds to the development of the SPES methodology described in the three books “Model-Based Engineering of Embedded Systems”, “Advanced Model-Based Engineering of Embedded Systems”, and “Model-Based Engineering of Collaborative Embedded Systems”.

Product details

• Assisted by: Wolfgang Böhm (Editor), Manfred Broy (Editor), Walter Koch (Editor), Walter Koch et al (Editor), Nikolaus Regnat (Editor), Bernhard Rumpe (Editor), David Schmalzing (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Release: 10.09.2024, delayed
• EAN: 9783031572944
• ISBN: 978-3-0-3157294-4
• No. of pages: 220
• Illustrations: X, 220 p. 129 illus., 111 illus. in color.
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Software Engineering, Open Access, SysML, modeling languages, industrial case studies, SPES methodology, model-based systems engineering