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.

Download paper here