SysML Workbench for the SPES methodology
Modern cyber-physical systems are characterized by ever new and more extensive functionalities. Particularly in the mobility domains of automotive, aviation and rail, this trend is driven not only by competitive pressure on international markets, but also by the typically high demands on the safety of such systems.
The resulting ever-increasing complexity for the development and safety certification of systems is pushing traditional development methods from mechanical engineering and software engineering to their limits. Modern model-based approaches, such as the Software Platform Embedded Systems (SPES), promise a way out to master the complexity.
In this context, this SPES approach not only provides a methodological approach for structuring the development processes for cyber-physical systems, but also lays the foundations for a semantically clear description and analysis of systems.
The goal of the SpesML project is to make this well-founded approach applicable to the widely used Systems Modeling Language (SysML) and to adapt a commercial SysML tool to the SPES methodology.
One of the central research questions that the project will answer is first to identify suitable parts of the SysML modeling language that are needed for the implementation of the SPES methodology. Based on this part of SysML, a well-defined SysML profile will then be defined that includes all required language elements.
Another important research aspect of the project is the definition of a clear semantics. Since SysML essentially only provides a graphical notation, but leaves its clear meaning open, it is necessary to specify a formal semantics for the SpesML profile according to the SPES approach and the FOCUS theory used there.
This semantics in turn represents the basis for the third research area: The development of appropriate analysis mechanisms to check correctness and consistency of SpesML models.
All research results are evaluated on three extensive industrial case studies.
Federal Ministry of Education and Research (BMBF), Grant Agreement No: 01IS20092G
01.01.2021 – 31.03.2023
