ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Thu 19 Sep 2024 11:00 - 11:30 at EI 4 Reithoffer - Morning talks Chair(s): Davide Ancona

The advent of the Internet of Things has led to the development of distributed systems that require efficient and resilient runtime monitoring since they are often deployed in critical environments. Among the various monitoring techniques, runtime verification is a lightweight verification method that assesses the correctness of a running system concerning a formal specification. This paper investigates the optimization of aggregate monitors for properties expressed in Spatial Logic of Closure Spaces (SLCS), a formal logic designed to reason about spatial relationships between entities in a distributed system. We propose three different algorithms for the implementation of the somewhere operator, a key construct in SLCS, and evaluate their performance through a series of simulations, comparing their convergence time and computational load.

Thu 19 Sep

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

10:30 - 12:00
Morning talksVORTEX at EI 4 Reithoffer
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
10:30
30m
Talk
Runtime Verified Neural Networks for Cyber-Physical Systems
VORTEX
A: Dhiren Tripuramallu Indian Institute of Technology Bhubaneswar, A: Ayush Anand Indian Institute of Technology Bhubaneswar, A: Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, A: Hammond Pearce University of New South Wales, Sydney, A: Partha Roop University of Auckland
File Attached
11:00
30m
Talk
Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
VORTEX
A: Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, A: Giorgio Audrito Università di Torino, A: Mirko Viroli Alma Mater Studiorum - Università di Bologna
File Attached
11:30
30m
Talk
Real-Time Guarantees for SLCS Monitors in XC
VORTEX
A: Giorgio Audrito Università di Torino, A: Ferruccio Damiani University of Turin, A: Gianluca Torta

Information for Participants
Thu 19 Sep 2024 10:30 - 12:00 at EI 4 Reithoffer - Morning talks Chair(s): Davide Ancona
Info for room EI 4 Reithoffer:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0245

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15735