The first meeting of IC1402 Runtime Verification beyond Monitoring (ARVI) has been concluded with success on Friday 10th April at the Valletta University Campus with 26 participants from 18 countries. The meeting was organised by the Maltese representatives for this COST action: Dr Christian Colombo and Prof Gordon Pace from the Faculty of ICT.
The focus of this meeting was the launching of the four working groups: The first focuses on the core aspects of runtime verification, particularly by identifying open challenges in the area. The second focuses on the tool support for runtime verification, particularly by consolidating existing tools and striving towards their interoperability. The third group aims at exploring the interactions of runtime verification with other crosscutting research areas such as distributed computing, static and dynamic verification, software testing, etc. The fourth group is tasked with exporting runtime verification techniques to industry while at the same time drawing inspiration from industrial case studies to evaluate and improve the available tools and techniques.
The meeting provided each working group with a half day of discussion and planning, with the results soon to be uploaded to the action website https://www.cost-arvi.eu. The participants also had the chance to engage with two industrial companies who presented at the meeting: SDL/Fredhopper represented by Stijn de Gouw and Ixaris represented by Aldrin Seychell, Andrew Gauci, Luke Camilleri, and Brian Vella.