The development of complex transport systems presents significant safety challenges. While safety-driven and model-based approaches show promise, their adoption is still in its early stages. One hazard analysis method that is gaining traction is the System Theoretic Process Analysis (STPA). Integrating STPA with the Systems Modeling Language (SysML) holds great potential, thanks to their shared system-theoretic foundation. Simultaneously, SysML v2, with extensibility features such as libraries, offers new integration opportunities. However, due to the novelty of SysML v2, safety libraries have not yet been explored. Therefore, this article investigates how STPA can be formalized and integrated into an open-source SysML v2 library, examining the challenges and opportunities this integration presents.
Ahlbrecht et al. (Wed,) studied this question.