Real-Time Guarantees for SLCS Monitors in XC
The behavior of distributed systems situated in space can be required to satisfy spatial properties, in addition to the more widely known temporal properties. In particular, it has been previously shown that fully distributed monitors in eXchange Calculus (XC) can be automatically derived for verifying properties of situated systems expressed in the SLCS spatial logic. While it has been proven that such monitors eventually compute the truth value of the desired properties, the actual time required for such computations has been thus far disregarded. In the present paper, we fill this gap by investigating the real-time guarantees that can be given in terms of upper bounds on the time taken by the XC monitors to compute the truth of SLCS properties after stabilisation of inputs.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 30mTalk | 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 | ||
11:00 30mTalk | 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 | ||
11:30 30mTalk | Real-Time Guarantees for SLCS Monitors in XC VORTEX A: Giorgio Audrito Università di Torino, A: Ferruccio Damiani University of Turin, A: Gianluca Torta | ||