The first day was dedicated to provide a status and process update of the technical work, as well as the highlights and a future outlook. Each technical WP-leader presented the work done and some in-depth technical discussions took place. On the second day, the project partners continued the in-depth discussions about the use-case analysis approach. Furthermore, the analysis tools were presented and the usage of FRAMA-C EVA and Frama-C E-ACSL were discussed. Summing up, it was a very fruitful and interesting meeting, providing many inputs that can be used for further research and development within the VESSEDIA project.