1. OAR@UM
  2. Faculty of Information and Communication Technology
  3. Department of Computer Science
  4. Scholarly Works - FacICTCS
Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/86001
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAceto, Luca-
dc.contributor.authorAttard, Duncan Paul-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorIngólfsdóttir, Anna-
dc.date.accessioned2021-12-22T13:20:17Z-
dc.date.available2021-12-22T13:20:17Z-
dc.date.issued2021-
dc.identifier.citationAceto, 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.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar/handle/123456789/86001-
dc.description.abstractWe 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.en_GB
dc.description.sponsorshipSupported by the doctoral student grant (No: 207055-051) and the TheoFoMon project (No: 163406-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS.en_GB
dc.language.isoenen_GB
dc.publisherSpringeren_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectSoftware engineeringen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectBenchmarking (Management) -- Data processingen_GB
dc.subjectComputer software -- Evaluationen_GB
dc.subjectComputer multitaskingen_GB
dc.titleOn benchmarking for concurrent runtime verificationen_GB
dc.title.alternativeFundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649en_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.en_GB
dc.bibliographicCitation.conferencename24th International Conference, FASE 2021en_GB
dc.bibliographicCitation.conferenceplaceLuxembourg City, Luxembourg, 27/03 - 01/04/2021en_GB
dc.description.reviewedpeer-revieweden_GB
dc.identifier.doi10.1007/978-3-030-71500-7_1-
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
On Benchmarking for.pdf715.96 kBAdobe PDFView/Open
Show simple item record Statistics


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.