On Implementing a Monitor-Oriented Programming Framework for Actor Systems

Cassar, Ian; Francalanza, Adrian

doi:10.1007/978-3-319-33693-0_12

Cited by 31 publications

(40 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Initially, this work took advantage of Erlang's tracing mechanism to hook into Erlang's virtual machine to receive events as messages [23]. More recent work [18,19] employs an Aspect-Oriented Programming framework to inject instrumentation as in AspectJ. It should be noted that when monitoring Erlang programs there is an additional issue of distributed (asynchronous) computation to contend with.…”

Section: Instrumentation Techniquesmentioning

confidence: 99%

What Is a Trace? A Runtime Verification Perspective

Reger

Havelund

2016

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

View full text Add to dashboard Cite

Abstract. Runtime Monitoring or Verification deals with traces. In its most simple form a monitoring system takes a trace produced by a system and a specification of correct behaviour and checks if the trace conforms to the specification. More complex applications may introduce notions of feedback and reaction. The notion that unifies the field is that we can abstract the runtime behaviour of a system by an execution trace and check this for conformance. However, there is little uniform understanding of what a trace is. This is most keenly seen when comparing theoretical and practical work. This paper surveys the different notions of trace and reflects on the related issues.

show abstract

Section: Instrumentation Techniquesmentioning

confidence: 99%

What Is a Trace? A Runtime Verification Perspective

Reger

Havelund

2016

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

View full text Add to dashboard Cite

show abstract

“…Recent work [15,4,8,28,16] studies the application of online RV to general specification properties describing the branching structure of the system under scrutiny. This is of particular relevance to concurrent (component) systems with multiple executions.…”

Section: Introductionmentioning

confidence: 99%

Trace Partitioning and Local Monitoring for Asynchronous Components

Attard

Francalanza

2017

Software Engineering and Formal Methods

Self Cite

View full text Add to dashboard Cite

Abstract. We propose an instrumentation technique for monitoring asynchronous component systems that departs from the traditional runtime verification set-up assuming a single execution trace. The technique generates partitioned traces that better reflect the interleaved execution of the asynchronous components under scrutiny, and lends itself well to local monitoring. We provide argumentation for the qualitative benefits of our approach, demonstrate its implementability for actor-based systems, and justify claims related to the applicability and efficiency gains via an empirical evaluation over a third party component-based system.

show abstract

“…Even though several monitoring tools [14,23,15,20] exists for renowned languages such as Java, the only tools developed specifically for Erlang are detectEr [4,7] and adaptEr [9,8]. In this paper we therefore give an overview of these two runtime monitor tools.…”

Section: Monitormentioning

confidence: 99%

“…Adaptation actions are rectifying actions (such as restarting or terminating misbehaving actors) in order to mitigate the effects incurred by a detected violation. This extension led to the creation of a Runtime Adaptation tool called adaptEr [8,9]. In this property, the specifier presumes that the error (which may arise after a number of correct interactions) is caused by the interface actor i (as shown in Figure 2, where an inc request is erroneously forwarded to the decrementor actor k) -one may, for instance, have prior knowledge that actor i is a newly-installed, untested component.…”

Section: Runtime Adaptation With Adaptermentioning

confidence: 99%

See 1 more Smart Citation

A Suite of Monitoring Tools for Erlang

Cassar

Francalanza

Attard

et al.

Kalpa Publications in Computing

Self Cite

View full text Add to dashboard Cite

Ensuring formal correctness for actor-based, concurrent systems is a difficult task, primarily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Runtime Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.

show abstract

On Implementing a Monitor-Oriented Programming Framework for Actor Systems

Cited by 31 publications

References 28 publications

What Is a Trace? A Runtime Verification Perspective

What Is a Trace? A Runtime Verification Perspective

Trace Partitioning and Local Monitoring for Asynchronous Components

A Suite of Monitoring Tools for Erlang

Contact Info

Product

Resources

About