Simon Thrane Hansen

The initialization is working with cycle check and is applying fixed-point iteration if it encounters a cycle in the co-sim scenario in order to see if the loop convergence. I...

Simon: I just started looking into the verification of the initialization. I just went through Nick's code https://github.com/INTO-CPS-Association/FMI-VDM-Model/blob/master/COSIM/CoSimulationConfig.vdmsl which are recognizing invalid co-simulation configuration. I was wondering how you guys...

Okay. I think the second option sounds more appealing to me - what do you think Casper? But I think we need to add some specific VDM code to cope...

I went another way and used the prolog code by Claudio from this article [Gomes et al_2019_Generation of Co-simulation Algorithms Subject to Simulator Contracts.pdf](https://github.com/INTO-CPS-Association/maestro/files/4819291/Gomes.et.al_2019_Generation.of.Co-simulation.Algorithms.Subject.to.Simulator.Contracts.pdf) to verify the initialization order up...