Description
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.
This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts from potential application disciplines. The main goal is to overcome the fragmentation of RV research by (1) the design of common input formats for tool cooperation and comparison; (2) the evaluation of different tools, building a growing sets benchmarks and running tool competitions; and (3) by designing a road-map and grand challenges extracted from application domains.
Action keywords
Runtime Verification - Monitoring for System Design - Software Reliability - Monitor reflection and execution replay
Parties
Action Leadership Positions
Role | Leader |
---|---|
Action Chair | |
Action Vice-Chair | |
Grant Holder Scientific Representative | |
STSM Coordinator | |
WG1 Leader | |
WG2 Leader | |
WG3 Leader | |
WG4 Leader |
Management Committee
Country | MC Member |
---|---|
Austria | |
Austria | |
Cyprus | |
Czech Republic | |
Czech Republic | |
Denmark | |
Denmark | |
Estonia | |
Estonia | |
Finland | |
Finland | |
France | |
France | |
Germany | |
Germany | |
Greece | |
Greece | |
Iceland | |
Iceland | |
Ireland | |
Ireland | |
Israel | |
Israel | |
Italy | |
Italy | |
Lithuania | |
Luxembourg | |
Luxembourg | |
Malta | |
Malta | |
Netherlands | |
Netherlands | |
North Macedonia | |
Norway | |
Norway | |
Portugal | |
Portugal | |
Serbia | |
Spain | |
Spain | |
Sweden | |
Sweden | |
Switzerland | |
Switzerland | |
Switzerland | |
Türkiye | |
United Kingdom | |
United Kingdom |
Country | MC Substitute |
---|---|
Czech Republic | |
Denmark | |
Estonia | |
Estonia | |
France | |
France | |
Germany | |
Germany | |
Greece | |
Iceland | |
Italy | |
Italy | |
Lithuania | |
Luxembourg | |
Malta | |
Malta | |
Norway | |
Portugal | |
Sweden | |
Switzerland |
COST International Partner Countries
Institution Name | MC Observer |
---|---|
Australian National University |