Johannes Koch

Knowledge modeling of power grids with SysMD

2022

We give an overview of the Systems modeling language SysMD and demonstrate its use in the modeling of innovative power grid systems. The language SysMD allows us to structure and document the knowledge about system-wide …

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 …