Affiliation:
1. Department of Computer Science, Bioengineering, Robotics and Systems Engineering , University of Genova, 16146, Italy
Abstract
Abstract
Runtime verification is a lightweight formal verification technique used to verify the runtime behaviour of software (resp. hardware) systems. Given a formal property, one or more monitors are synthesized to verify the latter against a system execution. A monitor can only conclude the violation of a property when it observes such a violation. Unfortunately, in safety-critical scenarios, this might happen too late for the system to react properly. In such scenarios, it is advised to use predictive runtime verification, where monitors are capable of anticipating (by using a model of the system) future events before actually observing them. In this work, instead of assuming such a model is given, we describe a runtime verification workflow where the model is learnt and incrementally refined by using process mining techniques. We present the approach and the resulting prototype tool.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference39 articles.
1. Business monitoring framework for process discovery with real-life logs;Abe,2014
2. Automated discovery of structured process models from event logs: The discover-and-structure approach;Augusto;Data Knowl. Eng.,2018
3. Automated discovery of process models from event logs: Review and benchmark;Augusto;IEEE Trans. Knowl. Data Eng.,2019
4. Prevent: A predictive run-time verification framework using statistical learning;Babaee,2018
5. Introduction to runtime verification;Bartocci,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献