Sebastian Post

Constructive Model Analysis of SysMLv2 Models by Constraint Propagation

2024

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 …