Please use this identifier to cite or link to this item:
Title: On synchronous and asynchronous monitor instrumentation for actor-based systems
Authors: Cassar, Ian
Francalanza, Adrian
Keywords: Actor (Computer program language)
Asynchronous circuits
ERLANG (Computer program language)
Component software
Issue Date: 2014
Publisher: FOCLASA
Citation: Cassar, I., & Francalanza, A. (2014). On synchronous and asynchronous monitor instrumentation for actor-based systems. 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Rome. 1-15.
Abstract: We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems. We show that, in such a context, asynchronous monitoring incurs substantially lower overhead costs. We also show how, for certain properties that require synchronous monitoring, a hybrid approach can be used that ensures timely violation detections for the important events while, at the same time, incurring lower overhead costs that are closer to those of an asynchronous instrumentation.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
foclasa14.pdf182.67 kBAdobe PDFView/Open

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