Biweekly 50

Pre-meeting stakeholders’ reports

Claudio Gomes

• Research work into order adaptive cosim algorithms.
• Some ambiguities of the FMI standard reported to the FMI steering committee (Thanks for Simon and Nick)
• Won’t attend the meeting due to being in Antwerp for project proposal preparation.

Peter Gorm Larsen

• Submitted Doctoral Network application on digital twins (led by Newcastle)
• Met with DIREC stakeholders in the CPS work stream interesting in our co-simulation activities
• Discussed new application for Innovation Foundation with BTECH in Herning on energy related digital twins
• Took part in the digital twin tutorial delivered last Saturday at FM’2021

Nick Battle

• Fixed problems with debugging individual test cases in CT VSCode.
• Allowed the -exception flag to work with exit statements raising uncaught “exceptions”
• Meetings with Simon and Claudio re: FMI3 clock semantics and VDM/Isabelle model.
• Apply to renew Guest Staff Membership at Newcastle :)
• Allow LSPX plugins to define their own code lenses (eg. the Isabelle plugin).
• Work with Leo on the VDM-SL/Isabelle translator.

Jim Woodcock

• More work on Isabelle course material.
• Worked on animation of operational semantics for angelic nondeterminism.
• Ran the appFM workshop online with Jaco van de Pol (23rd Nov).
• Ran a half-day focus group for CUP on CPS research directions.

Frederik Madsen

• Released MaestroV2 v. 2.1.9
• Took part in the digital twin tutorial
• Implemented web API entry-point in MaestroV2 for SIGVER based simulation.
• Into-CPS application work:
  • Enabled livestreaming of simulation results in the SIGVER view.
  • More work on the DTP part of the Into-CPS application.
  • Enabled retrieving the MaBL spec on a failed simulation in the Into-CPS application.
  • Differentiation between MaestroV2 and MaestroV1 to discern available features/settings.

Casper Thule

• Worked with out of sync FMU
• Worked with on-the-fly co-simulation transition
• DesktopRobotti equipment
• Tutorial
• Student projects
• CP-Sens handover

Emil Madsen

• AURT:
  • Added possibility for online estimation
  • Got Zahra up and running with AURT for her to give the online estimation a look
• Aarhus University Robotics Platform (AURP):
  • Got parts (motors, drivers, …) from ODrive
  • Still missing: PSU, mechanical parts (aluminium rods, ball bearings, …)

Mirgita Frasheri

• fm tutorial work
• worked with the out of sync fmu, we are making progress, but is still needed to get the getmaxstepsize to work
• course work
• scenario generation, have been playing with the DSE and building something around. Also talked with Ken, and seems that we have a shared vision.
• worked a bit on the agent papers

Sub-projects status

Sub-project X

Sub-project Y

Sub-project Z

Any Other Business

Next Meeting

10 December 2021, 10:30 CEST