Biweekly 51
| |
|
| Date |
10 December 2021, 10:30 CEST |
Pre-meeting stakeholders’ reports
Claudio Gomes
- Working on H2020 CL4 project proposal
- Preparing case studies for Simon’s journal paper (help from Frederik)
- Hosted cosimcps workshop: https://sites.google.com/view/cosim-cps-2021/home
- Continue research collaboration with Emin on adaptive co-simulation.
Peter Gorm Larsen
- Submitted abstract about digital twins for the ECCOMAS conference track on digital twins
- Involved with small proposals for DRISQ in the UK
- Talked with Innovation Fund Denmark in relation with the resubmission of the CP-Sens proposal that made it to interviews this year
- Gave digital twin presentation at a MADE event about digital twins virtually on the 8th of December
- Started preparing the new project on AI for embedded system funded as a part of DIREC
Nick Battle
- Improved VDMJ ClassMapper “error tracing” to help writers of new mappings (with Leo).
- Fixed some POs as a result of translation/type checking them for Isabelle.
- Tweaked xsd2vdm tool (part of VDMCheck) to try to deal with XSD namespaces.
- Revamped VDMJ visitor-sets to make things easier for external users (ie. Leo)
- Some fixes in LSP to support Jonas.
- Fixed F12 goto-definition when positioned at the end of a symbol.
- Meet with Simon and Claudio to discuss progress of FMI3 clocks model.
- Returned to look at ToolWrapper solution for VDMJ.
Jim Woodcock
- Led the development of a proposal to D-RiSQ and DSTL on verified computation.
- Started work on a publication on uncertainty work.
Casper Thule
- Fixed LONG overdue issue for Frank Zeyda/VERIFIED. Ready for next release.
- Been sick for almost 2 weeks.. still running a fever, headache and more.
- Discussed state transfer from executing co-simulation to new co-simulation. with Henrik Ejersbo. Follow-up meeting is scheduled.
- Planned a lot of hand-over meetings, but carried out very few.
- Desktop Robotti guys is very very close to automated and containerized deployments! Great job!
Frederik Madsen
- Worked with Cláudio to identify and fix issues with the Scenario Verifier integration in Maestro.
- Into-cps app:
- Continued work on DTP
- Working on input bug fix
- Improved maestro version differentation
- Maestro:
- Implemented use of log levels and definition of log vars with Sigver
- Update Scenario Verifier version
- Also fixed other minor issues..
Mirgita Frasheri
- Planning a couple of papers to be carried out next year
- some work on the scenario generation, working towards a small prototype with dse and running gazebo
- work on agent papers, simplified the bridge between components, so now we can debug easily
- the basic implementation for the time discrepancy paper is ready
- desktop robotti guys have the emergency stop demo, with the rabbitmq fmu, both ways.
Sub-projects status
Sub-project X
Sub-project Y
Sub-project Z
Any Other Business
Next Meeting
TBA 2022, 10:30 CEST