Biweekly 35
| |
|
| Date |
11 March 2021, 12:30 CET |
Pre-meeting stakeholders’ reports
Peter Gorm Larsen
- Made progress on the list of contributors for the book on digital twin book
- Took part in an advisory board for a new Danish project for a future hybrid test bed which has an interesting connection to digital twins
Nick Battle
- Small progress on the LSP Server design spec.
- Overture bug fix for <-:, <:, :>, :->
- Added some more missing F12 “Go to definition” fixes
- Fix VSCode bug for “Run All Traces”
- Renamed VDMJ properties to all be of the form
vdmj.<area>.<some_sensible_name>
- Started to look at automated conversion of XSDs to VDM, in the face of continuing FMI3 schema changes.
Jim Woodcock
- We’re continuing to work on the specification of step negotiation in FMI. I’ve prepared a talk on angelic nondeterminism for presentation at the RoboCalc meeting in Oxford on Wednesday 10th March and then to Claudio, Jaco, Simon, and Perdo on Friday 12th March.
Hao Feng
- Have finished the two papers for ANNSIM.
- Working on the benchmark deep learning methods on dynamical systems.
- refreshed some concepts in linear algebra and reviewed fourier transforms.
Maurizio Palmieri
- Arranged a joint work on a manipulator case study with a different group of researchers in Pisa
- Preparing lectures for the next semester (including INTO-CPS)
- Writing a paper on the bibycle case study, using a simple controller tuned with the DSE of INTO-CPS
- Writing a paper on the security analysis performed with INTO-CPS.
Casper Thule
- Working on Maestro2 paper
- Worked on desktop robotti future
- Working on rabbitmq paper with multithreaded along with gita and henrik
- Preparing overture workshop
- Working on MAestro2 with frederik
Mirgita Frasheri
- Worked on the rabbitmq FMU with Henrik, and paper also with Capser.
- Discussed tasks for the students working with the Desktop Robotti with Casper.
- Worked on Desktop Robotti paper.
- Worked on requirements for the development of the fault injection plugin.
- Working on time discrepancy paper.
Emil Madsen
- AU DTL-Skjern:
- Flexcell + robot arms delayed from Technicon - expected delivery in the beginning of May
- DT of MiR 250 autonomous wheeled mobile robot: It should be possible to get all necessary data for kinematic AND dynamic models using a ROS interface (https://github.com/dfki-ric/mir_robot)
- Installed ROS and Gazebo
- Future: Need to finish the dynamic model of the MiR 250 and validate the MiR ROS interface
Frederik Madsen
- Updated and documented implementation of variable step.
- Updated implementation of derivative estimator.
- Updated documentation resources for “getting-started”.
- Implemented handling of get status request in wep-api.
- Migrated test suite from JUnit 4 to JUnit 5.
- Working on Jacobian step builder plugin.
Sub-projects status
Sub-project X
Sub-project Y
Sub-project Z
Any Other Business
Next Meeting
26 March 2021, 12:30 CET