|Date||23 April 2017, 00:00 CEST|
|Participants||PGL, JF, NB, TO, PJ, NP. Minutes by PJ.|
At today’s LB NM, all LB members agreed to move this RM to ‘Execution’. The execution phase usually involves the development of a draft implementation of the tool feature for testing.
No major update.
I’ve re-added the DBGPReader interface to VDMJ version 4 (I had previously omitted this, since VDMJ is primarily command-line oriented. But now the debugging system is sensibly structured, it was easy to restore it). This means that the VDMJ jar can almost be slotted into Overture. That in turn means that there is usually a performance boost, and it gives access to the high-precision build of VDMJ (arbitrary precision arithmetic). There are some problems still, and it only covers execution and debugging, not POG and CT tests. But in principle we ought to be able to define the interfaces for these features too, which gives the possibility of implementing them in multiple VDM “engines”.
I also made a small change to Overture to give the execution time of an operation when started via a standard launcher - ie. as well as the result appearing in the Console view, it also says how long that result took to calculate.
I (PJ) have introduced a minor enhancement that affects generation of LaTeX reports on Mac OSX (see issue 625). Also, I’ve introduced some fixes in Java code-generator, one of them affecting code-generation of specifications that use concurrency constructs.
We (PJ and VB) are working on extending the coverage of the garbage collector (see issue 87). While doing so, VB has found a number of problems in the garbage collector that have already been fixed. We’re working towards support the Alarm example.
The release of Overture 2.4.8 is due by June 5, 2017. If possible, I (PJ) would like suggestions for two future relase dates.
PGL and JF are suggesting to hold the 15th Overture workshop in Newcastle on September 15. Please note that this date is not yet fixed. So far PJ and TO have agreed to co-chair the PC.
See download stats on the downloads page
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications.