--- res: bibo_abstract: - "As the complexity and criticality of software increase every year, so does the importance of run-time monitoring. Third-party monitoring, with limited knowledge of the monitored software, and best-effort monitoring, which keeps pace with the monitored software, are especially valuable, yet underexplored areas of run-time monitoring. Most existing monitoring frameworks do not support their combination because they either require access to the monitored code for instrumentation purposes or the processing of all observed events, or both.\r\n\r\nWe present a middleware framework, VAMOS, for the run-time monitoring of software which is explicitly designed to support third-party and best-effort scenarios. The design goals of VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the ability to monitor black-box code through a variety of different event channels, and the connectability to monitors written in different specification languages), and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker and event recognition systems with aspects of stream processing systems.\r\n\r\nWe implemented a prototype toolchain for VAMOS and conducted experiments including a case study of monitoring for data races. The results indicate that VAMOS enables writing useful yet efficient monitors, is compatible with a variety of event sources and monitor specifications, and simplifies key aspects of setting up a monitoring system from scratch.@eng" bibo_authorlist: - foaf_Person: foaf_givenName: Marek foaf_name: Chalupa, Marek foaf_surname: Chalupa foaf_workInfoHomepage: http://www.librecat.org/personId=87e34708-d6c6-11ec-9f5b-9391e7be2463 - foaf_Person: foaf_givenName: Fabian foaf_name: Mühlböck, Fabian foaf_surname: Mühlböck foaf_workInfoHomepage: http://www.librecat.org/personId=6395C5F6-89DF-11E9-9C97-6BDFE5697425 orcid: 0000-0003-1548-0177 - foaf_Person: foaf_givenName: Stefanie foaf_name: Muroya Lei, Stefanie foaf_surname: Muroya Lei foaf_workInfoHomepage: http://www.librecat.org/personId=a376de31-8972-11ed-ae7b-d0251c13c8ff - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-2985-7724 bibo_doi: 10.15479/AT:ISTA:12407 dct_date: 2023^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/2664-1690 dct_language: eng dct_publisher: Institute of Science and Technology Austria@ dct_subject: - runtime monitoring - best effort - third party dct_title: 'VAMOS: Middleware for Best-Effort Third-Party Monitoring@' ...