SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An automatic trace analysis tool generator for Estelle specifications
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae
Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
An Efficient Synchronization Mechanism for Mirrored Game Architectures
Multimedia Tools and Applications
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
LOLA: Runtime Monitoring of Synchronous Systems
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Validating system properties exhibited in execution traces
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Formal Methods for Industrial Critical Systems
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
LarvaStat: monitoring of statistical properties
RV'10 Proceedings of the First international conference on Runtime verification
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Local-lag and timewarp: providing consistency for replicated continuous applications
IEEE Transactions on Multimedia
Hi-index | 0.00 |
Asynchronous monitoring relieves the system from additional overheads induced through online runtime monitoring. The price paid with such monitoring approaches is that the system may proceed further despite having reached an anomalous state. Any actions performed by the system after the error occurring are undesirable, since for instance, an unchecked malicious user access may perform unauthorized actions. In this paper we investigate the use of compensations to enable the undoing of such undesired actions, thus enriching asynchronous monitoring with the ability to restore the system to the original state just after the anomaly had occurred. Furthermore, we show how adaptive synchronisation and desynchronisation of the monitor with the system can also be achieved and report on the use of the proposed approach on an industrial case study of a financial transaction handling system.