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.
- 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).
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.
The main vehicle to progress towards the goal of WG3 is the internal wiki of the action.
WG3 at Meetings: