Biweekly 45


Date	17 September 2021, 10:30 CEST

Pre-meeting stakeholders’ reports

September 3: Gave presentation about digital twins for robotics
September 6: Opening of the Digital Transformation Lab in Skjern about digital twins
September 7: Interview with IFD about a new potential digital twin project
September 9: Gave digital twin presentation (especially DIGITbrain) to IDA event on digitalisation in Aarhus
September 16: called by someone who wish to get insight into one of our research projects on digital twins

Prototype DTP in into-cps application
Assisted with VDMCheck/MaestroCheck fix and Maestro release
Assisted with Rabbitmqfmu CI setup & release
Project group guidance counselor for bachelors EE and ICT 1. semester
September 7: Interview with IFD about a new potential digital twin project
talking with NGIN about digital twins
In talks with company, iclimate center and ECE institute (and DIGIT of course) on IFD grand solution project.
All reviews have come in for overture workshop, 7 papers accepted. Hurray! Event is october 22, book the date. Expected program is about 9-16 with dinner in the evening. Keynote speaker is in progress.
Discussed IOT lab setup with Emil
Raw version of out of sync mitigation component. Handed over to Gita and Henrik
Working on delay FMU to test DSE performance on java vs code-gen c++

Continued working on my technical report on uncertainty and probabilistic UTP (and had a week’s holiday!).
Organised a panel session on uncertainty at the UK TAS Hub meeting.

we released the new version of the rabbitmq fmu, also fixed some minor things in the configuration.
worked on setup for the fm tutorial.
implemented new feature in the FI plugin (expression evaluation for calculating injected values), and fixed issues there.
meeting with DR students and new bachelor students that can potentially take over the work.
picked up scenario generation, will focus much more on this from now on.

Participated in a Danish Water Cluster Workshop in Vejle
Working on VDM VScode
- Manual is out: - TR-007: Overture VDM VSCode Extension: User Guide
- Bug fixing
- Introducing configurations on both launch configuration and java code gen with Tom
- Performed a live demo on VSCode on the HUBCAP Sandbox in OC1.3 training WS
INTO-CPS Application
- Gill is joining to take over Kristoffer role
- AU internal biweeklies on Tuesdays
- Working with Maurizio on Pisa contribution to the association
Two papers accepted at OVT-19:
- Modelling an Injection Molding Machine using the Vienna Development Method
- Extending the Formal Security Analysis of the HUBCAP sandbox
Best paper award to paper presented yesterday at SESDE WS

back from summer holidays
submitted the drones case study to INTO-CPS association
- Also submitted to HUBCAP thanks to Hugo
Article about drones accepted!
writing paper for cosim-cps 2021 about Co-simulation of a Model Predictive Control