Matthias May

Mr. Matthias May

orcid

Research Focus & Metrics

Academic Career Length

2Years (2025-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 April 2025 in Forschung im Ingenieurwesen
Verified
Journal Article
Open access
PDF file
KBKathrin Boelsen
Kathrin Boelsen
MMMatthias May
Matthias May
GJGeorg Jacobs
Georg Jacobs
MMManuel Mennicken
Manuel Mennicken
FMFrederik Moers
Frederik Moers
GHGregor Hoepfner
Gregor Hoepfner
One approach to tackle the complexity in the development of cyber-physical systems is system decomposition and modelling in a central system model with model-based system engineering (MBSE). However, MBSE also requires increased development effort due to the high degree of formalisation of the development results using the Systems Modelling Language (SysML). One solution is reusing system elements from model libraries, which requires formalization that allows them to be networked into consistent models. Due to the abstract nature of SysML, the options for formalizing system elements are extremely diverse, meaning that even identical technical system elements are modelled with a different structure by engineers. As a consequence, no standardized structure is maintained and the reuse of system elements from model libraries is very unlikely. This leads to high, redundant modelling efforts as well as a considerable error potential and significantly hinders the economic application of MBSE in mechanical engineering. A standardized structure of the system elements can be ensured through MBSE methodology specific modelling guidelines. Current modelling guidelines for MBSE are based on the SysMLv1 language standard and cannot be used unchanged in SysML v2. Nevertheless, SysML v2 offers great potential for modelling reusable system elements, especially with its synonymous textual and graphical modelling capabilities, enabling the easy linkage of knowledge from various domain-specific tools. Consequently, modelling guidelines based on SysML v2, which guarantee a standardized structure, are required to fully exploit the potential of model libraries in MBSE. To solve this deficit, this paper presents modelling guidelines based on SysML v2 and their application for building reusable system elements.

12 March 2026 in Systems
Verified
Journal Article
Open access
PDF file
MMMatthias May
Matthias May
GJGeorg Jacobs
Georg Jacobs
Simon DehnSimon Dehn
Simon Dehn
GHGregor Hoepfner
Gregor Hoepfner
TZThilo Zerwas
Thilo Zerwas
SHSebastian Hacker
Sebastian Hacker
Future cyber-physical systems (CPSs), integrating subsystems of the mechanical, electrical and software domains, are becoming increasingly interconnected and complex. As complexity grows, testing effort increases as well. This includes the test-case definition step, where the test targets and boundary conditions are specified. With rising system complexity, the effort required to ensure that all relevant conditions for each test target are identified increases. Manual test-case definition remains the norm, creating effort bottlenecks in ensuring systematic coverage and compliance with standards such as ISO 26262 and ISO 29119. This paper explores how large language models (LLMs) can support the identification of complex boundary conditions for CPS test cases through detailed requirement analysis. The impact of performing taxonomy-guided, structured requirement mapping prior to test-case generation was evaluated by comparing it with a version without this guidance. Furthermore, the influence of supplying a Model-Based Systems Engineering (MBSE) system model as context information via Graph RAG is examined. The results show that structured, stepwise reasoning significantly improves reliability and consistency over unguided generation, while system-model information provides valuable contextual insight but has a minor impact in the chosen example. These findings outline a scalable framework for AI-assisted test-case generation.