Working Group 3 : Challenging computational domains

Welcome to Working Group 3 whose aim is to study a range of challenging domains in which runtime verification has a potential impact which is still fully unrealised. The main aim  of this WG is to extract challenges from a list of identified challenging domains and expressed these challenged in a unified way for the future research in the area [For a more detailed description of the WG’s aims please have a look at the description of WG3 in the Memorandum.]

  • Chairs: César Sánchez, Gerardo Schneider

In the meeting in Vienna (Sep 2015), we identified a few sub-domains where the challenges could be extracted from and appointed researchers that will coordinate the work within each subdomains.

Subdomains:

  • Foundations of distributed monitoring [Yliès Falcone and Adrian Francalanza]
  • Monitoring Hybrid Systems (including issues and challenges from embedded systems, CPSs and system biology) [Dejan Nickovic, Ezio Bartocci]
  • Monitoring hardware circuits (and circuits for monitoring) [Alex Weiss]
  • Security and privacy [Juan Tapiador and Gerardo Schneider]
  • Interplay and applications of monitoring into transactions, databases, cloud, distributed information systems and financial transactions [João Lourenço and Christian Colombo]
  • Monitoring contracts and policies [Gerardo Schneider and Gordon Pace]
  • Huge data streams and storages, approximate monitoring [Domenico Bianculli and César Sánchez]

Open Issues related to many subdomains:

In that meeting we also

  • Economics of monitoring: there are many interpretations of this point. One is to study the cost of monitoring a system vs the benefit obtained from the process, whose terms are vaguely defined (on purpose). 
  • In search for a general framework for understanding the effects of monitoring on the monitored system:
  • Intrusive/non-intrusive monitoring: what is the effect of the monitoring process, including instrumentation in the actual execution of the observed system.
  • Operationalization of monitors (how to automatically extract a monitor from declarative high-level descriptions having algorithmic content).

Survey

The main deliverable in WG3 is a document describing challenges, according to each domain,
and – of course – collaborations between researchers in the Action towards accomplishing these challenges. A first preliminary draft of the document is expected to be reported at the end of Y1, an elaborated draft at the end of Y3 and a final survey at the end of Y4.

Wiki:

The main vehicle to progress towards the goal of WG3 is the internal wiki of the action.

 

WG3 at Meetings:

  • Meeting in Malta [slides], April 2015
  • Meeting in Vienna, Sep 2015 (no slides, main action point: division of the work in sub-tasks)
  • Meeting in Prague [slides] Mar 2017. Discussed plan for 2017 and beyond.