Constructive Model Analysis of SysMLv2 Models by Constraint Propagation

We describe an approach for the analysis of SysMLv2 models. The analysis computes possible ranges of parameters during early system development in order to support the comparison of architectures, variants, and the analysis of effect chains. For implementation, we use methods for constraint propagation. We discuss the integration of a solver into the SysMLv2 metamodel and demonstrate it by an industrial case study: the analysis of different boardnet architectures.