SysML models verification relying on dependency graphs
Published in 10th International Conference on Model-Driven Engineering and Software Development, 2022
Incremental modeling of systems leads to the repeated verification of parts of systems models that were already verified in previous versions of the SysML model. This paper proposes to optimize the verification process by generating dependency graphs from SysML models.