A Choreographed Outline Instrumentation Algorithm for Asynchronous Components

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

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.

A Survey of Runtime Monitoring Instrumentation Techniques

Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checki…

面向反应式组件的运行时插桩（扩展版）

Runtime Instrumentation for Reactive Components (Extended Version)

针对反应式软件异步环境下插桩的事件丢失重排问题及运行时验证的可靠性要求，提出去中心化插桩算法RIARC，经测试和实验验证其正确性与反应性，在中等并发场景下延迟与内联监控相当。