|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Adaptive Runtime Verification
If you have a question about this talk, please contact Stephen Clark.
We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime verification with state estimation, and predictive analysis are synergistically combined. Overhead control maintains the overhead of runtime verification at a specified target level, by enabling and disabling monitoring of events for each monitor instance as needed. In ARV , predictive analysis based on a probabilistic model of the monitored system is used to estimate how likely each monitor instance is to violate a given temporal property in the near future, and these criticality levels are fed to the overhead controllers, which allocate a larger fraction of the target overhead to monitor instances with higher criticality, thereby increasing the probability of violation detection. Since overhead control causes the monitor to miss events, we use Runtime Verification with State Estimation (RVSE) to estimate the probability that a property is satisfied by an incompletely monitored run. A key aspect of the ARV framework is a new algorithm for RVSE that performs the calculations offline, dramatically reducing the runtime overhead of RVSE , at the cost of introducing some approximation error. We demonstrate the utility of ARV on a significant case study involving runtime monitoring of concurrency errors in the Linux kernel.
This talk is part of the Computer Laboratory Wednesday Seminars series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsRausing Lecture Applied and Computational Analysis Graduate Seminar Cambridge University Global Health Student Initiative - Seminar Series
Other talksAxion Cosmology and the Lightest DM Candidate A Positive Psychological Approach to weight loss. Kv10.1: a potassium channel involved in malignant growth Curiosity on Mars – exploring through the eyes of a rover "The koniocellular visual pathway" Title: Exploring the psychological meaning of illness using Cognitive Analytic Therapy