Biweekly 16

Pre-meeting stakeholder’s reports

Peter Gorm Larsen

• Will meet with Poul Toft, PDF Foundation right after the biweekly meeting
• Started up a paper for Isola on the tolerance language as agreed last time

Nick Battle

• Went through Claudio’s TLA+ model of FMI and read the first half of the Practical TLA+ book (personal copy arrived a couple of days ago). Will meet to discuss the way forward with model checking this afternoon (Monday).
• A lot of progress with Jonas and Frederik on the LSP server for VScode. The server itself is basically working well for VDM-SL, with just a few niggles. VDM++ multi-threaded debugging is more complex, as I imagined(!), but it also basically works. Unfortunately it’s possible to lock up the debugger though, which I’m currently investigating. The extensions for basic language services are available, but not yet fully functional; there are no extensions yet for extra functionality, like PO generation and Combinatorial Testing. I’m not yet sure what VScode does with coverage. And we have to decide how to integrate the code generator from Overture (remember, LSP is currently based on VDMJ).

Claudio

• Work on fmi-standard doc (https://github.com/modelica/fmi-standard/pull/895)
• Prepare model checking video lecture.

Mustafa Dinç

• I am testing INTO-CPS App 4.0.0 with tutorials (0,1,2, and 3 completed so far)

Jim

• I’ve been working on the bibliography for the Tolerance Language technical report.

Hugo

• The 4.0.0 version of the INTO-CPS App is out https://github.com/INTO-CPS-Association/into-cps-application/releases/tag/v4.0.0. It is just a rebrand of the previous release candidate 4.0.0rc after OK from the core testers. Please help us testing it. More about the INTO-CPS Application below.

• I have been writting on a generalization of the Harvest Coach Architecture (HCA) to serve as case-study for the Tolerance Languages. The HCA intent was to tolerate deviations, and we wrote the tolerances ad-hoc(ly) in VDM. We expect it to suit well the Isola paper.

• I have been developing the ideas for the work with Hao on how to reuse Networked Control Systems and Co-Simulation in the domain of Digital Twins.

• I recently became a fan of VSCode (The LaTeX Workshop plugin works impressive well right out of the box), and given the impressive and also quick results by Nick, Jonas, and Fredrik, I look forward into running the new VDM VSCode extension on my machine. I hope to report back soon.

Casper

• Various upgrades for Maestro and java native interface

• Chrono for FMU development

• Working on python fmu together with maestro

• MaestroV2 progress

Hao

• I will update from the next meeting

Sub-projects status

Tolerance Language

Prter, Cláudio, Hugo, and discussed the first draft of a technical report on the Tolerance Language. We agree on the following outstanding issues:

1. Add a section on methodology and tools.
2. Change all examples to relate to Aarhus digital twin examples, such as combine harvesters.
3. Add a glossary of terms.
4. Discuss how to modify runtime monitoring to take account of quantified satisfaction.
5. Change consistently from Leibniz’s notation to Newton’s for differentiation.
6. Decide the following technical niggles: (a) Are traces are finite or infinite? (b) Do trace indexes start at 0 or 1? (c) Are the logics all classical? Except in runtime verification? (d) Check usage of open and closed intervals.
7. Add related work section and complete the bibliography.
8. Add conclusions and further work.

We also agreed to extract an ISoLA paper from the technical report. Peter set up an outline of the paper in the SVN.

INTO-CPS Application

• During the release we were forced to reshape the App Gulp build file (due to Gulp upgrades). I expanded the GitHub Actions to include the building and I see it already caused impact elsewhere. I like to see more of it and maybe add GitHub Actions to Overture as well.

• I am working with Kristofer on the deprecation of the traceability feature of the INTO-CPS Application. The works has just started, and we expect to remove 10 dependencies and a good amount of dead code… Eventually this may reduce the app size…

• Last Friday I did some work to try improve the Spectron testing component, particularly trying to automate the current manual steps, as this prevents us to use the tests in a Continuous Integration environment.

• I have been in close contact with Mustafa regarding the tests and expect to do several improvements based on his comments.

• I am also leading the Systems Engineering MDSE delivery and Claudio opened an issue (https://github.com/INTO-CPS-Association/into-cps-application/issues/87) about the DSE that as we know needs to be improved in multiple ways:

  • Tutorial Steps are huge paragraphs
  • Python scripts need cleaning, to be completed, and depend on the now (no longer supported) Python 2.
  • App code needs major rework (Again issue https://github.com/INTO-CPS-Association/into-cps-application/issues/87)

Sub-project Z

Any Other Business

Next Meeting

06 May 2020, 1030 CET