Abstract: We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysis of ...

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.

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.

Sandy Friedenthal, chair of the MIWG, noted that “the ability to interchange models offers the potential to significantly improve productivity, quality, and the long term retention of models. The MIWG ...