As shown in the figure, there are two verisons of overture FMU: One using VDM2C and and one using Crescendo.
Crescendo-using version:
Crescendo uses Overture to create a simulation environment based on VDM-RT projects.
Overture-FMU makes use os this simulation environment and wraps it in an FMI context.
VDM2C-using version:
The VDM-RT model is code-generating to c, see #19, and then wrapped in an FMI context.
As shown in the figure, there are two verisons of overture FMU: One using VDM2C and and one using Crescendo.
Crescendo-using version:
Crescendo uses Overture to create a simulation environment based on VDM-RT projects.
Overture-FMU makes use os this simulation environment and wraps it in an FMI context.
VDM2C-using version:
The VDM-RT model is code-generating to c, see #19, and then wrapped in an FMI context.