Abstract: Model-Based Systems Engineering (MBSE) is a widely-adopted methodology in the intricate realm of system design, leveraging models to foster collaborative design and development endeavors.

Abstract: SysML activity diagrams are OMG/INCOSE standard used for modeling and analyzing probabilistic systems. In this paper, we propose a formal verification framework that is based on PRISM ...

We are now going to model the control strategy action. This action is expressed by means of a SysML activity diagram that focuses on the inputs, outputs, sequences and the related conditions. The ...

A web application that analyzes SysML Activity Diagrams using OpenAI's GPT-4 Vision model, focusing on system safety aspects relevant to aerospace engineering.