Twenty-six participants from 18 countries took part in the first meeting of the EU Cost action IC1402 Runtime Verification beyond Monitoring (Arvi) at the University of Malta’s Valletta campus.

Cost is an EU initiative to facilitate networking among researchers, engineers and scholars from different member states, encouraging regular meetings and collaboration.

The Arvi Cost action is dedicated to the area of runtime verification – a set of techniques aimed at monitoring software to ensure that observed software actions conform to the expected behaviour.

Such checks are useful in security critical systems such as financial systems where a small error might result in huge losses.

The action is organised into 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 and software testing; and 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 to be uploaded to the action website.

The meeting was organised by Christian Colombo and Gordon Pace from the Faculty of ICT, the Maltese representatives for this Cost action.

https://www.cost-arvi.eu

Sign up to our free newsletters

Get the best updates straight to your inbox:
Please select at least one mailing list.

You can unsubscribe at any time by clicking the link in the footer of our emails. We use Mailchimp as our marketing platform. By subscribing, you acknowledge that your information will be transferred to Mailchimp for processing.