From 10th to 11th July 2018 another VESSEDIA Advisory Board (AB) and Technical Meeting took place at KU Leuven, Belgium.

The first day started with the Advisory Board (AB) meeting. After a short round of introduction, Armand Puccetti (CEA), the technical leader of the VESSEDIA project, gave a short status update of the VESSEDIA project to the AB members (Gerard van Battum – BRIGHTSIGHT, Quang-Huy Nguyen Trusted Labs, Franck Sadmi - Bureau Veritas Exploitation, Päivi Brunou-Nixu). After this short update some of the WP leads presented the actual status of their WPs and the work already carried out. In addition to that the current developments of the use cases “Contiki-OS” and “6LowPAN” were presented and discussed. Fruitful discussions took place which will be beneficial for the future project progress. The VESSEDIA team received valuable feedback and comments to different aspects, especially for the planed “Verified in Europe” label.

The next day was dedicated to a general assembly and technical meeting. The consortium started with some general administrative and management issues and the planning of upcoming meetings and the VESSEDIA workshop in spring 2019, which will be organised together with the CHARIOT project. All WP leads presented the actual WP status. In addition to that a presentation on “Modelling framework and tools” and a presentation on “Form Models to XLIA and proofs” was given.
All in all, it was a very successful and engaging meeting, providing many inputs that will be used for further research and developments within the VESSEDIA project. In addition to that, it was a good perpetration for the review meeting in September 2018.