Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86001
Title: | On benchmarking for concurrent runtime verification |
Other Titles: | Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649 |
Authors: | Aceto, Luca Attard, Duncan Paul Francalanza, Adrian Ingólfsdóttir, Anna |
Keywords: | Software engineering Computer software -- Verification Benchmarking (Management) -- Data processing Computer software -- Evaluation Computer multitasking |
Issue Date: | 2021 |
Publisher: | Springer |
Citation: | Aceto, L., Attard, D. P., Francalanza, A., & Ingólfsdóttir, A. (2021). On benchmarking for concurrent runtime verification. 24th International Conference, FASE 2021, Luxembourg City. 3-23. |
Abstract: | We present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to a comprehensive assessment of the overhead induced by runtime monitoring. The tool is able to generate significant loads to reveal edge case behaviour that may only emerge when the monitoring system is pushed to its limit. We evaluate our framework in two ways. First, we conduct sanity checks to assess the precision of the measurement mechanisms used, the repeatability of the results obtained, and the veracity of the behaviour emulated by our synthetic benchmark. We then showcase the utility of the features offered by our tool in a two-part RV case study. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/86001 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
On Benchmarking for.pdf | 715.96 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.