|Date||2015-10-25 13:00 CET|
|Participants||PGL, TO, NB, PJ, VB, SS, JF, HS, MV, LF. Minutes by PJ.|
Welcome to the two new attendees: Victor Bandur (VB) who is a new member of the Aarhus University software engineering group and Leo Freitas (LF) from the University of Newcastle (UNEW).
The pure operation RM (RM 27) is now completed. Other than that there has been some interest in the UTP model of the VDM semantics.
The next LB meeting is the last meeting of 2015 and every member will step down and there will be a new election round. This will be announced via the core mailing list after the next LB NM, so all community members have a chance to run for election.
VDMTools is stable. Dr. Kei Sato is trying to add the pure operations feature.
A few bug fixes to VDMJ, not all of which are in Overture yet:
The coverage of the VDM-SL to Java/JML generator has been extended to cover checking of all the types supported by the Java code generator. This means that it covers checking of basic types, record types, union types, sequences (seq and seq1), sets, maps (map and inmap), optional and named type definitions constrained by invariants.
The generated JML annotations use a small runtime with utility functionality to check if a value respects its type(s). When the code generator plugin is invoked it generates an Eclipse project containing the generated Java/JML and the VDM-to-JML runtime.
This work is available on the pvj/main branch and it will be included in the next release of Overture.
Nothing to report.
See download stats on the downloads page
Also see Planned Publications.
In the INTO-CPS project there is an intent of making an open source licensing policy inspired by the one from OpenModelica (see https://openmodelica.org/home/consortium). This allows companies who are members at the right level and who are actively supporting the further development and maintenance have an opportunity for making use of the open source code inside their own commercial extensions. Peter Gorm Larsen feels that it would be beneficial for the future commercial use of Overture to change its license to also be a part of this. It would be convenient to have a first initial discussion about that.
Hansen Salim has started on his PhD at UNEW. Hopefully he will be contributing to the AADL+ASN.1+VDM agenda. Right now he is working on learning AADL and ASN.1.