ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Mon 6 Jun 2022 14:10 - 14:30 at Stockholm - First afternoon session Chair(s): Gary T. Leavens

The distributed monitoring of swarms of devices cooperating to common global goals is becoming increasingly important, as such systems are employed for critical applications, e.g., in search and rescue missions during emergencies. In this paper, we target the distributed run-time verification of global properties of a swarm expressed as logical formulas in a temporal logic. In particular, for the implementation of decentralized monitors, we adopt the Field Calculus (FC) language, and exploit the results of previous works which have shown the possibility of automatically translating temporal logic formulas into FC programs. The main limitation of such works lies in the fact that the formulas are expressed in the past-CTL logic, which only features past modalities, and is therefore ineffective in predicting properties about the future evolution of a system. In this paper, we inject some limited prediction capability into the past-CTL logic by providing an extended semantics on a multi-valued logic, then assessing how this affects the automated translation into field calculus monitors.

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
First afternoon sessionVORTEX at Stockholm
Chair(s): Gary T. Leavens University of Central Florida
Hardware-assisted Runtime Monitoring
I: Volker Stolz Høgskulen på Vestlandet
Link to publication
Predictive Semantics for Past-CTL Runtime Monitors
S: Giorgio Audrito Università di Torino, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta
HIBOU : Tooling Offline Runtime Verification against Interaction Models