Biweekly 15


Date	08 April 2020, 10:30 CEST

Pre-meeting stakeholder’s reports

LSP/DAP support for VDM-SL and VDM++ is progressed to the point where I would like to try the server with a VScode client. Suggesting we get in touch with the chap who wrote the existing VScode extension (which uses VDMJ to do simple syntax checking). Jonas and Frederik have started to look at it (via Eclipse) too.
I’ve updated the FMI3 VDM-SL static model to use the latest schema (and raised a bug and pull request to fix problems with the schema). At Christian’s suggestion, I’ve added XSD schema validation to the VDMCheck tools, though none of the 700-odd FMUs in the cross-check repository have schema errors.
Met with Claudio on Monday to discuss the way forward with the formal models. I will spend some time looking at TLA+ to that end.

Mustafa Dinc is now on the team and starting to interact with multiple team members (remotely due to Covid-19
A new ITEA proposal called UPSIM including digital twins has informally been accepted for funding
Teaching curiculum paper and HUBCAP collaboration platform papers are now almost complete.
Special track on digital twins at Isola (see http://isola-conference.org/isola2020/tracks/)

A new release of into-cps should be out soon containing the dependencies upgrades by Kristoffer and bug fixes.

Submitted PyFMU paper to summersim conference.
Working on framework + paper for preprocessing ML data: https://github.com/LukasHedegaard/datasetops

Draft paper completed and sent to PGL, HDM, and CGG for comments. New deadline for ISoLA version is 31st May.