ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 17:00 - 17:30 at SUN I - Monitoring and Runtime Verification Chair(s): Ondrej Lengal

Runtime Verification is the process of checking whether a run of a system holds a given property. In order to perform such a check online, the algorithm used to monitor the property must induce minimal overhead. Our first contribution is the VyPR runtime verification tool for single-threaded Python programs. The tool handles specifications in our, previously introduced, Control-Flow Temporal Logic (CFTL), which supports the specification of state and time constraints over runs of functions. VyPR minimally instruments the input program with respect to a CFTL specification and then uses instrumentation information to optimise the monitoring algorithm. Our second contribution is the lifting of VyPR to the web service setting, resulting in the VyPR2 tool. We first describe the necessary modifications to the architecture of VyPR, and then describe our experience applying VyPR2 to a service that is critical to the physics reconstruction pipeline on the CMS Experiment at CERN.

Thu 11 Apr

tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Monitoring and Runtime Verification at SUN I
Chair(s): Ondrej LengalBrno University of Technology
tacas-2019-papers16:30 - 17:00
Talk
Link to publication
tacas-2019-papers17:00 - 17:30
Talk
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
Link to publication
tacas-2019-papers17:30 - 18:00
Talk
Link to publication