Download From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

Queue processing for download document 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 sy