Biweekly 38


Date	20 April 2021, 13:00 CEST

Pre-meeting stakeholders’ reports

Had a successful steering comittee meeting regarding the Poul Due Jensen foundation project
Discussions for additional Digital Transformation Lab nodes ongoing
Progress regarding different digital twin aspects regarding different digital twin part projects in MADE FAST
Planning new digital twin application for the green transtion DFF call in Denmark

Progress on the XSD 2 VDM schema mapping is slow, while I rethink the approach - too many XSD cases are incorrectly translated.
Discussed Overture migration again with Hugo and added an SLSP handler for generating the Overture format coverage data.
Talked to Simon about the static and dynamic FMI VDM models, and whether VDM modelling can help with his FMI work.
LSP HLD is still on the back burner, but not forgotten :)

Participated in the Danish Water Cluster workhsop on Interaction between rainwater and wastewater systems
Writting paper on Extraneous Water
Writting application with AAV on DT for Water
Preparing a presentation on DT for water to the EVA Thematic Day
vs-code
- Adding import libraries feature to vs-code vdm extension
- Coverage will be the next step
Overture
- Organization of workshop is going good. Call for papers is out
- Planning to submit article lead by Till on Injection Molding Machine
- Will look at porting code-generation to recent java… Casper detected it breaks the Records…
INTO-CPS App release to be prepared by Kristoffer soon
- Planning to include visualization of DSE results in app
- Several bug fixes
- First version with CI End-to-end tests

Done with jacobian-step functionality in maestro2 which includes: variable-step, fixed-step, slow-down to real-time and stabilisation.
Working on functionality to automatically set and get derivatives in the builder for maestro2.
Looking into introducing parallelism.

Working on establising Wi-Fi communication with the LFR robot in order to receive data and send commands.
Introducing two new thesists to INTO-CPS for analyzing a drone coverage algorithm and a terrestrial vehicles platooning one.
Working on formal definition of a platoon scenario to prove simple safety properties, using PVS for both verification and co-simulation

Working on creating a structure for digital twin projects with experiments, tracability, visualisation of data and processes and so forth.
Working with mirgita on rabbit mq time synchronisation and practitioners paper
reviewing paper for Annsim