Biweekly 37
| |
|
| Date |
8 April 2021, 12:30 CEST |
Pre-meeting stakeholders’ reports
Casper
Peter Gorm Larsen
- Planning new EU involvement in relation to digital twins in relation with smart cities
- Assisted Guiseppe with IFD proposal also including digital twin elements
- The 3STARS proposal is accepted in some countries (need to find out about Denmark)
- Took part in the UPSIM general assembly where the Robotti case with a digital twin is included
Nick Battle
- Talk with Kenneth and Hugo about how to move Crescendo Overture changes to VSCode
- Most effort spent on XSD to VDM translation. The basic translation to support FMI2 and FMI3 is working. Investigating the automatic translation of XSD “facet” constraints that turn into VDM type invariants.
- Clarify the plan for how to progress Overture migration to VSC with Hugo.
Claudio Gomes
- Paper on FMI 3.0 clocks
- Adaptive master alghorithm for N-FMUs in progress
- Start preparing paper on UR robot calibration tool
Jim Woodcock
- I continued working with Pedro Ribeiro on angelic semantics for FMI step negotiation. I prepared a presentation on angelic nondeterminism as an abstract semantics for backtracking. I plan to use this as an introductory section in a future journal paper covering our joint work. I presented my work to the RoboCalc group in York (10th March) and then to Simon Hansen, Cláudio Gomes, and Jaco van de Pol in Aarhus (12th March). I am happy that this gives an accessible account of the role of angelic choice in specifying backtracking. I continued to discuss this with Pedro Ribeiro in York and reviewed his parallel work in detail. He presented his new ideas, building on my suggestions, to the RoboCalc group (24th March) and then to the Aarhus group (26th March).
- I made some final contributions to Tomas Kulik’s paper on FM in Security.
- I started my preparation of lectures for the modelling course in Aarhus. My lectures are on the modelling and analysis of probabilistic robotic controllers.
- I had a meeting with Lukas Esterle to discuss the semantics of multi-agent controllers in autonomous systems. We discussed his nascent research proposal. We agreed that it wasn’t appropriate to add a work package on formal semantics and mechanical reasoning. Instead, we agreed to explore the possibility of collaborating through examples and case studies. Lukas is looking for suitable material.
- I attended some Aarhus video meetings on software engineering R&D and education.
- I started discussions with Simon Foster on a future course on an introduction to Isabelle (“Isabelle without Tears”). We agreed to teach a joint course in York next Spring. I plan to adapt the course material for possible use in Aarhus.
- I am on holiday from 29th March – 9th April.
Frederik Madsen
- Slow down simulation to realtime.
- Removing dependencies on old maestro coe.
- Validate variable step in jacobian step builder.
- Support get and set derivatives via MaBLBuilder.
Mirgita Frasheri
- working on the rabbitmq development, and related papers
- following the work on the Desktop Robottis from students
- started looking into electron and joined first intocps developers meeting, in service to the scenario generation feature
- looking into how to use the ns3 scripts packed as fmus with maestro
Emil Madsen
- Started paper on robot calibration
- Cleaned up the calibration code to ease transfer to Daniella/Claudio
Hugo Daniel Macedo
- Met with Kenneth and Nick about Overture FMU migration to VSCode
- Trying some approaches to add import lib to VSCode VDM Plugin
- Working on paper about Extraneous Water DT
- Working towards proposal on DT for water
Sub-projects status
Sub-project X
Sub-project Y
Sub-project Z
Any Other Business
Next Meeting
23 April 2021, 12:30 CEST