We will have a two-day meeting related to the COST Action Runtime Verification beyond Monitoring (ARVI). The purposes of the meeting include:
- A meeting of the Management Committee (MC).
- A workshop on contract monitoring.
The program of the meeting can be found here.
My roles during the meeting are twofold:
- I am representing France in the MC.
- I am co-chairing the working group related to core runtime verification.
Below is a description of the COST action:
Runtime verification (RV) is a computing analysis paradigm based on observing a system at runtime to check its expected behavior. RV has emerged in recent years as a practical application of formal verification, and a less ad-hoc approach to conventional testing by building monitors from formal specifications.
There is a great potential applicability of RV beyond software reliability, if one allows monitors to interact back with the observed system, and generalizes to new domains beyond computers programs (like hardware, devices, cloud computing and even human centric systems). Given the European leadership in computer based industries, novel applications of RV to these areas can have an enormous impact in terms of the new class of designs enabled and their reliability and cost effectiveness.
EU COST Action IC1402 — project overview at the EU web-site.