A brief account of runtime verification

Leucker, Martin; Schallhart, Christian

doi:10.1016/j.jlap.2008.08.004

Cited by 662 publications

(416 citation statements)

References 45 publications

Supporting

Mentioning

409

Contrasting

Unclassified

Order By: Relevance

“…This paper focuses on runtime monitoring techniques which analyzes one particular program execution. For a general introduction into the field of runtime verification especially in comparison with static verification techniques such as model checking see [16,17]. Non-intrusive observation of program executions is a long-standing issue [23] that becomes increasingly challenging with high circuit integration.…”

Section: Contributionmentioning

confidence: 99%

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Decker

Gottschling

Hochberger

et al. 2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. This paper presents an approach for rapidly adjustable embedded trace online monitoring of multi-core systems, called RETOM. Today, most commercial multi-core SoCs provide accurate runtime information through an embedded trace unit without affecting program execution. Available debugging solutions can use it to reconstruct the run offline, but usually for up to a few seconds only. RETOM employs a novel online reconstruction technique that makes the program run available outside the SoC and allows for evaluating a specification formulated in the stream-based specification language TeSSLa in real time. The necessary computing performance is provided by an FPGA-based event processing system. In contrast to other hardware-based runtime verification techniques, changing the specification requires no circuit synthesis and thus seconds rather than minutes or hours. Therefore, iterated testing and property adjustment during development and debugging becomes feasible while preserving the option of arbitrarily extending observation time, which may be necessary to detect rarely occurring errors. Experiments show the feasibility of the approach.

show abstract

Section: Contributionmentioning

confidence: 99%

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Decker

Gottschling

Hochberger

et al. 2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Another challenge is how to go from rule specifications written in the fraud CNL to executable code to process income information about entities and filter cases satisfying the rule. In order to perform this, we have used runtime monitoring [LS09] techniques to compile CNL statements compositionally into stream processors which flag matching cases.…”

Section: Fig 1 Fraud Detection Processmentioning

confidence: 99%

“…There has been much work in runtime monitoring [LS09] on building techniques to address such situations efficiently. It was thus decided that we adopt a standard runtime verification tool, Larva [CPS09], to process the data efficiently, using techniques from [CP13,CPA09].…”

Section: Monitoring Fraud Rulesmentioning

confidence: 99%

A Controlled Natural Language for Tax Fraud Detection

Calafato

Colombo

Pace

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Addressing tax fraud has been taken increasingly seriously, but most attempts to uncover it involve the use of human fraud experts to identify and audit suspicious cases. To identify such cases, they come up with patterns which an IT team then implements to extract matching instances. The process, starting from the communication of the patterns to the developers, the debugging of the implemented code, and the refining of the rules, results in a lengthy and errorprone iterative methodology. In this paper, we present a framework where the fraud expert is empowered to independently design tax fraud patterns through a controlled natural language implemented in GF, enabling immediate feedback reported back to the fraud expert. This allows multiple refinements of the rules until optimised, all within a timely manner. The approach has been evaluated by a number of fraud experts working with the Maltese Inland Revenue Department.

show abstract

“…In the first case, we can detect violations (detective enforcement) whereas in the second case, we can also prevent violations from happening by blocking or modifying attempted events, and by performing compensating, penalizing, or notifying actions. Efficient runtime verification technology is available [8].…”

Section: Introductionmentioning

confidence: 99%

“…In contrast, our work adds the dimension of usage control that allows to specify and enforce more fine-grained constraints on these sinks. Conversely, usage control models are usually defined on the grounds of technical events, including specific technologies such as complex event processing or runtime verification [23,8], but do not cater to the flow of data. We add the distinction between representation and data to these models.…”

Section: Introductionmentioning

confidence: 99%

Representation-Independent Data Usage Control

Pretschner

Lovat

Büchler

2012

Data Privacy Management and Autonomous Spontaneus Security

View full text Add to dashboard Cite

Abstract. Usage control is concerned with what happens to data after access has been granted. In the literature, usage control models have been defined on the grounds of events that, somehow, are related to data. In order to better cater to the dimension of data, we extend a usage control model by the explicit distinction between data and representation of data. A data flow model is used to track the flow of data in-between different representations. The usage control model is then extended so that usage control policies can address not just one single representation (e.g., delete file1.txt after thirty days) but rather all representations of the data (e.g., if file1.txt is a copy of file2.txt, also delete file2.txt). We present three proof-of-concept implementations of the model, at the operating system level, at the browser level, and at the X11 level, and also provide an ad-hoc implementation for cross-layer enforcement.

show abstract

A brief account of runtime verification

Cited by 662 publications

References 45 publications

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

A Controlled Natural Language for Tax Fraud Detection

Representation-Independent Data Usage Control

Contact Info

Product

Resources

About