@inproceedings{33b68448c09049d3b4e73375e5442081,
title = "From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach",
abstract = "We propose a framework for monitoring and updating, at run-time, the probabilities of temporal properties of stochastic timed automata. Our method is based on Bayesian networks and can be useful in various real-time applications, such as flight control systems and cardiac pacemakers. The framework has been implemented by exploiting the statistical model checking engine of. By run-time monitoring a set of interesting temporal properties of a given stochastic automaton we update their probabilities, modeled through a Bayesian Network. The main advantages of our method are the capacity to discover non-trivial dependencies between properties and to efficiently update probabilities of unobserved properties given real-time observations. We present empirical results on three application scenarios, showing that the query time can keep up with the speed of some realistic real-time applications. We also present experiments demonstrating that the Bayesian Network approach performance-wise enables run-time monitoring while maintaining or even increasing the accuracy of probability estimation compared to statistical model checking.",
keywords = "Bayesian networks, Statistical model checking, Timed automata",
author = "Manfred Jaeger and Larsen, {Kim G} and Alessandro Tibo",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; RV 2020: International Conference on Runtime Verification, RV ; Conference date: 06-10-2020 Through 09-10-2020",
year = "2020",
doi = "10.1007/978-3-030-60508-7_30",
language = "English",
isbn = "978-3-030-60507-0",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science+Business Media",
pages = "517--535",
editor = "Jyotirmoy Deshmukh and Dejan Nickovic",
booktitle = "Runtime Verification - 20th International Conference, RV 2020, Proceedings",
address = "United States",
}