SpesML

SpesML

SysML Workbench for the SPES methodology

SpesML

Successful model-based system development requires more than just a modeling language and a suitable tool: Only by using a scientifically sound development methodology, the full potential of model-based development can be exploited. The SpesML project combines the methodology developed in the Software Platform Embedded Systems (SPES) projects with the industrially used modeling language SysML to make the SPES approach even easier to use in practice.

Project description

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.

Research contribution

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.

Funding

Projekt duration

01.01.2021 – 31.12.2022

 Andreas Bayha

Your contact

Andreas Bayha

+49 89 3603522 556
bayha@fortiss.org

More information

Project partner

RWTH Aachen Universityqwitto GmbHQualicen GmbHSIEMENSSIEMENS HealthineersTechnische Universität München TUMUniversität zu KölnValidas AG