MOP: A Generic and Efficient Runtime Verification Framework

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=UTNujimhph0


Duration: 1:07:24
232 views
2

We present a tool-supported formal software development framework in which runtime monitoring is a basic design principle, called monitoring-oriented programming (MOP). In MOP, the developer specifies desired properties using definable formalisms, along with code to execute when properties are violated or validated. MOP automatically generates monitors from the specified properties and integrates them together with the user-defined code into the original system. We show that, despite its genericity with respect to specification formalisms, our MOP implementation for Java adds less runtime overhead than other exiting runtime verification systems with hardwired specification formalisms: for example, MOP's runtime overhead was larger than 10 of the programs in the DaCapo benchmark. When used for detecting errors in concurrent systems, runtime monitoring in general and MOP in particular suffer from the same limited coverage as testing. We also present a predictive runtime analysis technique that significantly increases the analysis coverage of monitoring in the context of bug-detection in multithreaded systems, having at its core an improved happen-before causality sliced using static analysis. MOP Webpage: http://fsl.cs.uiuc.edu/mop



Other Videos By Microsoft Research


2016-09-06The Light Portal: 3D Reconstruction and Visualization over Space and Time
2016-09-06Distributed Speculative Execution: A Programming Model for Reliability and Increased Performance
2016-09-06Director of MITΓÇÖs Auto-ID Laboratory and a professor of Information Engineering
2016-09-06Path invariants
2016-09-06Records, sums, cases, and exceptions: Row-polymorphism at work [1/9]
2016-09-06Internet 3.0: Ten Problems with Current Internet Architecture and Solutions for the Next Generation
2016-09-06The Bilateral Grid and a Topological Approach to Image Segmentation
2016-09-06Software Development Practices and Knowledge Sharing: A Comparison of XP & Waterfall Team Behaviors
2016-09-06How likely is BuffonΓÇÖs needle to meet a Cantor square?
2016-09-06Dense triangle-free digraphs
2016-09-06MOP: A Generic and Efficient Runtime Verification Framework
2016-09-06An Examination of User Behaviour during Web Information Tasks
2016-09-06Modeling Science: Topic models of Scientific Journals and Other Large Document Collections
2016-09-06Exhaustive Phase Order Search Space Exploration and Evaluation
2016-09-06Supervised Dimensionality Reduction with Principal Component Analysis
2016-09-06Network Market Design for Efficient Resource Allocation
2016-09-06Probabilistic Latent Variable Decompositions for Image and Audio Analysis
2016-09-06Improving Software Security with Precise Static and Runtime Analysis
2016-09-06What Analytical Performance Modeling Teaches Us About Computer Systems Design
2016-09-06A search engine for the real world, or, a top-down approach to vision
2016-09-06Approximate Inference Techniques for Identity Uncertainty


Tags:
microsoft research