Vamos: Middleware for Best-Effort Third-Party Monitoring
| dc.contributor.author | Chalupa, Marek | en |
| dc.contributor.author | Muehlboeck, Fabian | en |
| dc.contributor.author | Lei, Stefanie Muroya | en |
| dc.contributor.author | Henzinger, Thomas A. | en |
| dc.date.accessioned | 2026-05-14T14:40:46Z | |
| dc.date.available | 2026-05-14T14:40:46Z | |
| dc.date.issued | 2023 | en |
| dc.description.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. We 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. We 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. | en |
| dc.description.sponsorship | Acknowledgements This work was supported in part by the ERC-2020-AdG 101020093. The authors would like to thank the anonymous FASE reviewers for their valuable feedback and suggestions. | en |
| dc.description.status | Peer-reviewed | en |
| dc.format.extent | 22 | en |
| dc.identifier.isbn | 9783031308253 | en |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.scopus | 85161384180 | en |
| dc.identifier.uri | https://hdl.handle.net/1885/733809100 | |
| dc.language.iso | en | en |
| dc.publisher | Springer Science+Business Media B.V. | en |
| dc.relation.ispartof | Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings | en |
| dc.relation.ispartofseries | 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 | en |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.rights | Publisher Copyright: © 2023, The Author(s). | en |
| dc.title | Vamos: Middleware for Best-Effort Third-Party Monitoring | en |
| dc.type | Conference paper | en |
| dspace.entity.type | Publication | en |
| local.bibliographicCitation.lastpage | 281 | en |
| local.bibliographicCitation.startpage | 260 | en |
| local.contributor.affiliation | Chalupa, Marek; Institute of Science and Technology Austria | en |
| local.contributor.affiliation | Muehlboeck, Fabian; Institute of Science and Technology Austria | en |
| local.contributor.affiliation | Lei, Stefanie Muroya; Institute of Science and Technology Austria | en |
| local.contributor.affiliation | Henzinger, Thomas A.; Institute of Science and Technology Austria | en |
| local.identifier.doi | 10.1007/978-3-031-30826-0_15 | en |
| local.identifier.essn | 1611-3349 | en |
| local.identifier.pure | 3faf3759-64e4-4246-bc2e-55b7649ba444 | en |
| local.type.status | Published | en |