Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91281
Title: | COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1 |
Authors: | Ahrendt, Wolfgang Artho, Cyrille Colombo, Christian Falcone, Yliès Krstić, Srđan Leucker, Martin Lorber, Florian Lourenço, Joa̋o M. Mariani, Leonardo Sanchez, Cesar Schneider, Gerardo Stolz, Volker |
Keywords: | Computer software -- Verification Computer software -- Security measures Software engineering |
Issue Date: | 2019 |
Publisher: | COST |
Citation: | Ahrendt, W., Artho, C., Colombo, C., Falcone, Y., Krstic, S., Leucker, M.,…Stolz, V. (2019). COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1. 10.48550/arXiv.1902.03776 |
Abstract: | This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of the major core aspects involved in Runtime Verification. Runtime Verification is the field of research dedicated to the analysis of system executions. It is often seen as a discipline that studies how a system run satisfies or violates correctness properties. The report exposes a taxonomy of Runtime Verification (RV) presenting the terminology involved with the main concepts of the field. The report also develops the concept of instrumentation, the various ways to instrument systems, and the fundamental role of instrumentation in designing an RV framework. We also discuss how RV interplays with other verification techniques such as modelchecking, deductive verification, model learning, testing, and runtime assertion checking. Finally, we propose challenges in monitoring quantitative and statistical data beyond detecting property violation. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/91281 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
final_achievement_report-IC1402.pdf | 535.84 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.