Biweekly 25


Date	29 September 2020, 14:00 CEST

Pre-meeting stakeholders’ reports

Completed DFF application about digital twins about manufacturing process to DFF
Supported a niúmber of additional DFF application related to digital twins
Last week the contract for a new project with the Ringkøbing-Skjern municipality was signed. 15.8MDKK over the next 3,5 years
Attend the ESA MBSE event 28-29 of September and present HUBCAP
To be involved in TV programme about EU and innovation on Friday
Involved in a new Villum application where we are responsible for a WP on digital twins

One week holiday :)
Looked at function comparison “bug” reported for Overture. Fixed to distinguish lambdas with different free variables and added warnings.
Talked to Jonas and Frederik about how to progress LSP for PO Generation with the VSCode client
Started looking at how to include VDMCheck3 into the automatic check for ReferenceFMUs.

I have been working on the DFF proposal on RoboSec: Security by Design for Robotics. This is due for submission on Wednesday. Almost ready to go.
The UK project proposal on the Verifiability Research Node for the Trustworthy Automonous Systems Programme was successful.

Some progress with adaptive master algorithm that switches order of simulation units.
Work on fmi synchronous clocks: examples, ambiguities
Prepared small step by step getting started guides for maestro command line interface, and into-cps java FMI library.

Overture
- Working towards Overture 3.0.2 Release
- Will look into absorbing vdm2c in the release process… This came out of joint work with Casper on troubleshooting vdm2c bugs…
DT for water case
- I have been at a Danish Water Cluster workshop last week https://dendanskevandklynge.dk/ There were participants from several Danish Companies in the water domain. It was unanimous that there is a need for Digitalization in water, but there are many unknowns. Workshop was made virtual due to covid…
- I was invited by WATEC to meet with AVK https://www.avkventiler.dk/ next week
INTO-CPS Application
- Regarding INTO-CPS, we sorted a bug in the into-cps application last week. We have been having troubles making DSE run in Kristoffer’s machine. He is now able to run the DSE, but we found that Tutorial7.zip from the INTO-CPS Association SVN was the cause of the issue… Something wrong with it. Maybe problems in the filenames capitalizations…
- We plan to finish the DSE improvement sprint soon and move towards upgrading the Electron version to the latest, and start improving the testing.
- Helped Mirgita troubleshooting FMU zipping issue.
Other
- Manning “Company booth” at ESA MBSE event Peter mentioned. We have a stand for the AU CPS group and we are promoting the HUBCAP platform www.hubcap.eu to potential SMEs and MBD tools and model providers.

Work with Tomas and Hugo to create the system model for the HUBCAP sandbox system. Provide feedback to Tomas on the VDM model created for the HUBCAP Sandbox system.
Participation in DIGITbrain architecture discussion and code camp.
Create network performance benchmark measurements and video recordings for distributed Sandbox system. The distributed Sandbox system was implemented on Azure cloud platform.
Work on the draft of the “Sandbox Performance in Cloud Services” paper.

Resuming the work on drones co-simulation and formal verification: working on improving the quality of a paper we are writing a UNIPI
About to start a University project which might involve using co-simulation to build a database for AI. The aim of the project is using AI in medical devices.

Very interested in getting this integrated within Maestro2 and getting the most out of the work conducted:

How can we call it through java and possibly get some nice outputs?
Is it possible to query it for i.e. the initial and variability property of a ScalarVariable if left undefined?