NetMeeting Default Template


Date	02 October 2019, 10:30 CEST
Participants	AA, BB, …, CC. Minutes by DD.

Pre-meeting stakeholder’s reports

Siemens Mindsphere training ongoing at Skejby on the 2nd of October 2019
Casper will take part in the FMI technical meeting in Lund on the 1st and 2nd of October
Different papers will be presented at the Overture workshop on Monday the 7th of October about some of our work
The INTO-CPS Association workshop also takes place on Monday
The Simula Reserch Lab application about a digital twin center has been submitted

Dynamic semantic model progressing. API in place, working on the detail of the contract for each API by comparing the FMI Standard with the “fmu sdk” implementation.
Small updates to VDMCheck (and the static semantic model) due to dynamic semantic work clarifying things.
Contributed to the 2.0.1 draft of the FMI Standard, using VDMCheck to find errors in their config examples.
Will update the models to reflect 2.0.1 when the dust settles (not much change, just clarifications)

I now have my Aarhus contract, so I’ll be officially on-board very soon.
On 24th September, I gave a talk at the Verified Software Workshop in Cambridge on grand challenges, concluding with a discussion of future research directions, including work on digital twins. It was well received.
On 26th September, I gave a talk at Marie-Claude Gaudel’s Day in Paris on reasoning about uncertainty and verifying the probabilistic Ransac model-fitting algorithm.

Will be participating on the Mindsphere training during the meeting.
Is preparing and will deliver a talk on the cloud version of the into-cps tools next week.