Bridging Requirements and Design in MBSE: Leveraging SysML v2 for Automatic Verification

Requirement analysis and verification are paramount in Model-Based Systems Engineering (MBSE), particularly in the aerospace industry, where safety-critical systems must be verified from the early design steps. An innovative approach leveraging the Systems Modelling Language (SysML v2) and a hydrogen tank sizing model are presented here, enabling a direct link between requirements and design. Interoperability between models of different natures is enhanced, and the automatic verification of a set of requirements is proposed, addressing the limitations imposed by SysML v1. The solution developed utilises a textual syntax, making it accessible to non-experts in this language and addressing the industry’s needs, which require many engineers to write requirements. The methodology presented herein outlines the basic rules of writing requirements, their translation into SysML v2 syntax, their conversion into various formats, including tables and Excel files, and their automatic verification. Moreover, the traceability of requirements is ensured along the thread.This work highlights the benefits of enhancing the tools’ interoperability and represents the first step towards the full integration between models of different natures