Comparison and practical evaluation of the SysML v2 language for MBSE methodologies in aerospace applications

This thesis explores the new SysML v2 language, focusing on the improvements it offers in interoperability compared to the previous version, SysML v1, which was limited by ambiguity, imprecision, informal semantics, and difficulties in exchanging information with external software. SysML v2 introduces a textual representation based on formal semantics and a standardized Application Programming Interface (API), which significantly enhances communication with external tools and addresses the integration challenges of SysML v1. A case study is presented to model a liquid hydrogen tank for electric aircraft using SysML v2, demonstrating its practical application in aerospace systems with the use of open-source tools. The research adopts the Model-Based Systems Engineering (MBSE) methodology, including Requirement Modeling, Operational Analysis, and Functional Analysis, to evaluate SysML v2’s effectiveness in concrete applications. The thesis emphasizes SysML v2’s interoperability with Simulink, facilitated by a commercial software infrastructure. This integration aimed to verify specific requirements post-simulation through the instantiation of an integrated analysis, showcasing the tool’s potential and limitations in industrial contexts. Ultimately, this thesis critically examines SysML v2’s capabilities and limitations, emphasizing its potential to enhance modeling workflows in aerospace systems. However, challenges remain, particularly regarding tool limitations and the complexity of bidirectional data synchronization between SysML v2 and Simulink.